Witold Lukaszewicz

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