Witold Lukaszewicz

Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Revising Structured Knowledge Bases. FedCSIS 2012: 81-87

Ewa Madalinska-Bugaj, Witold Lukaszewicz: First-order Generalization of the MPMA Belief Update Operator. Fundam. Inform. 94(1): 49-61 (2009)

Ewa Madalinska-Bugaj, Witold Lukaszewicz: Extending Knowledge Base Update into First-Order Knowledge Bases. IEA/AIE 2008: 631-640

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Communication between agents with heterogeneous perceptual capabilities. Information Fusion 8(1): 56-69 (2007)

Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szalas: Knowledge Representation Techniques - A Rough Set Approach. Studies in Fuzziness and Soft Computing 202, Springer 2006, isbn 978-3-540-33518-4, pp. 3-320

Ewa Madalinska-Bugaj, Witold Lukaszewicz: Belief Revision Revisited. MICAI 2005: 31-40

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Similarity, Approximations and Vagueness. RSFDGrC (1) 2005: 541-550

Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz: Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. KR 2004: 459-468

Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003)

Patrick Doherty, Andrzej Skowron, Witold Lukaszewicz, Andrzej Szalas: Preface. Fundam. Inform. 57(2-4) (2003)

Ewa Madalinska-Bugaj, Witold Lukaszewicz: Formalizing Defeasible Logic in CAKE. Fundam. Inform. 57(2-4): 193-213 (2003)

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Tolerance Spaces and Approximative Representational Structures. KI 2003: 475-489

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Information Granules for Intelligent Knowledge Structures. RSFDGrC 2003: 405-412

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: CAKE: A Computer-Aided Knowledge Engineering Technique. ECAI 2002: 220-224

Witold Lukaszewicz, Ewa Madalinska-Bugaj: Lazy Knowledge Base Update. IEA/AIE 2001: 61-70

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. IJCAI 2001: 145-154

Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: The PMA and Relativizing Minimal Change for Action Update. Fundam. Inform. 44(1-2): 95-131 (2000)

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Efficient Reasoning Using the Local Closed-World Assumption. AIMSA 2000: 49-58

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Declarative PTIME Queries for Relational Databases using Quantifier Elimination. J. Log. Comput. 9(5): 737-758 (1999)

Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Computing MPMA Updates Using Dijkstra's Semantics. ISMIS 1999: 271-281

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: General Domain Circumscription and its Effective Reductions. Fundam. Inform. 36(1): 23-55 (1998)

Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: The PMA and Relativizing Minimal Change for Action Update. KR 1998: 258-269

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: A Reduction Algorithm. J. Autom. Reasoning 18(3): 297-336 (1997)

Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Plans. IJCAI 1997: 1215-1220

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: A Reduction Result for Circumscribed Semi-Horn Formulas. Fundam. Inform. 28(3-4): 261-271 (1996)

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: General Domain Circumscription in its First-Order Reduction. FAPR 1996: 93-109

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Explaining Explanation Closure. ISMIS 1996: 521-530

Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. KI 1996: 135-147

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: Preliminary Report. IJCAI 1995: 1502-1508

Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. IJCAI 1995: 1950-1955

Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change: Actions with Abnormal Effects. KI 1995: 209-220

Patrick Doherty, Witold Lukaszewicz: Cicumscribing Features and Fluents. ICTL 1994: 82-100

Patrick Doherty, Witold Lukaszewicz: Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. ISMIS 1994: 521-530

Witold Lukaszewicz, Ewa Madalinska-Bugaj: Program Verification Techniques as a Tool for Reasoning about Action and Change. KI 1994: 226-236

Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj: CAProDel: a system for computer aided program development. SEKE 1994: 470-477

Patrick Doherty, Witold Lukaszewicz: NML3. A Non-Monotonic Logic with Explicit Defaults. Journal of Applied Non-Classical Logics 2(1) (1992)

Patrick Doherty, Witold Lukaszewicz: FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. ECAI 1992: 294-298

Patrick Doherty, Witold Lukaszewicz: Defaults as First-Class Citizens. ISMVL 1992: 146-154

Witold Lukaszewicz: Non-monotonic reasoning - formalization of commonsense reasoning. Ellis Horwood 1990, isbn 978-0-13-624446-2, pp. 1-328

Witold Lukaszewicz: Considerations on default logic: an alternative approach. Computational Intelligence 4: 1-16 (1988)

Witold Lukaszewicz: Chronological Minimization of Abnormality: Simple Theories of Action. ECAI 1988: 574-576

Barbara Dunin-Keplicz, Witold Lukaszewicz: Towards Discourse-Oriented Nonmonotonic System. COLING 1986: 504-506

Witold Lukaszewicz: Minimization of Abnormality: A Simple System for Default Reasoning. ECAI 1986: 175-182

Witold Lukaszewicz: Two Results on Default Logic. IJCAI 1985: 459-461

Witold Lukaszewicz: Nonmonotonic Logic for Default Theories. ECAI 1984: 403-412

Witold Lukaszewicz: Considerations on Default Logic. NMR 1984: 165-193

Witold Lukaszewicz: General Approach to Nonmonotonic Logics. IJCAI 1983: 352-354