Witold Lukaszewicz

Publication Activity (10 Years)

Years Active: 1983-2015
Publications (10 Years): 1

Top Topics

Horn Contraction

Merging Operators

Probabilistic Logic

Top Venues

Fundam. Informaticae

Publications

Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj
Consistency-based Revision of Structured Belief Bases. Fundam. Informaticae 136 (4) (2015)
Michal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj
Revising Structured Knowledge Bases. FedCSIS (2012)
Ewa Madalinska-Bugaj, Witold Lukaszewicz
First-order Generalization of the MPMA Belief Update Operator. Fundam. Informaticae 94 (1) (2009)
Ewa Madalinska-Bugaj, Witold Lukaszewicz
Extending Knowledge Base Update into First-Order Knowledge Bases. IEA/AIE (2008)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Communication between agents with heterogeneous perceptual capabilities. Inf. Fusion 8 (1) (2007)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Similarity, Approximations and Vagueness. RSFDGrC (1) (2005)
Ewa Madalinska-Bugaj, Witold Lukaszewicz
Belief Revision Revisited. MICAI (2005)
Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. KR (2004)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Information Granules for Intelligent Knowledge Structures. RSFDGrC (2003)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Tolerance Spaces and Approximative Representational Structures. KI (2003)
Patrick Doherty, Andrzej Skowron, Witold Lukaszewicz, Andrzej Szalas
Preface. Fundam. Informaticae 57 (2-4) (2003)
Ewa Madalinska-Bugaj, Witold Lukaszewicz
Formalizing Defeasible Logic in CAKE. Fundam. Informaticae 57 (2-4) (2003)
Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas
Towards a Framework for Approximate Ontologies. Fundam. Informaticae 57 (2-4) (2003)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
CAKE: A Computer-Aided Knowledge Engineering Technique. ECAI (2002)
Witold Lukaszewicz, Ewa Madalinska-Bugaj
Lazy Knowledge Base Update. IEA/AIE (2001)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. IJCAI (2001)
Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
The PMA and Relativizing Minimal Change for Action Update. Fundam. Informaticae 44 (1-2) (2000)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Efficient Reasoning Using the Local Closed-World Assumption. AIMSA (2000)
Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
Computing MPMA Updates Using Dijkstra's Semantics. ISMIS (1999)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Declarative PTIME Queries for Relational Databases using Quantifier Elimination. J. Log. Comput. 9 (5) (1999)
Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
The PMA and Relativizing Minimal Change for Action Update. KR (1998)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
General Domain Circumscription and its Effective Reductions. Fundam. Informaticae 36 (1) (1998)
Witold Lukaszewicz, Ewa Madalinska-Bugaj
Reasoning about Plans. IJCAI (1997)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Computing Circumscription Revisited: A Reduction Algorithm. J. Autom. Reason. 18 (3) (1997)
Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. KI (1996)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
A Reduction Result for Circumscribed Semi-Horn Formulas. Fundam. Informaticae 28 (3-4) (1996)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
General Domain Circumscription in its First-Order Reduction. FAPR (1996)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Explaining Explanation Closure. ISMIS (1996)
Witold Lukaszewicz, Ewa Madalinska-Bugaj
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. IJCAI (1995)
Witold Lukaszewicz, Ewa Madalinska-Bugaj
Reasoning about Action and Change: Actions with Abnormal Effects. KI (1995)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Computing Circumscription Revisited: Preliminary Report. IJCAI (1995)
Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
CAProDel: a system for computer aided program development. SEKE (1994)
Patrick Doherty, Witold Lukaszewicz
Cicumscribing Features and Fluents. ICTL (1994)
Witold Lukaszewicz, Ewa Madalinska-Bugaj
Program Verification Techniques as a Tool for Reasoning about Action and Change. KI (1994)
Patrick Doherty, Witold Lukaszewicz
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. ISMIS (1994)
Patrick Doherty, Witold Lukaszewicz
FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. ECAI (1992)
Patrick Doherty, Witold Lukaszewicz
Defaults as First-Class Citizens. ISMVL (1992)
Patrick Doherty, Witold Lukaszewicz
NML3. A Non-Monotonic Logic with Explicit Defaults. J. Appl. Non Class. Logics 2 (1) (1992)
Witold Lukaszewicz
Considerations on default logic: an alternative approach. Comput. Intell. 4 (1988)
Witold Lukaszewicz
Chronological Minimization of Abnormality: Simple Theories of Action. ECAI (1988)
Barbara Dunin-Keplicz, Witold Lukaszewicz
Towards Discourse-Oriented Nonmonotonic System. COLING (1986)
Witold Lukaszewicz
Minimization of Abnormality: A Simple System for Default Reasoning. ECAI (1986)
Witold Lukaszewicz
Two Results on Default Logic. IJCAI (1985)
Witold Lukaszewicz
Considerations on Default Logic. NMR (1984)
Witold Lukaszewicz
Nonmonotonic Logic for Default Theories. ECAI (1984)
Witold Lukaszewicz
General Approach to Nonmonotonic Logics. IJCAI (1983)