| 2008 |
|---|
| 43 | EE | Ewa Madalinska-Bugaj,
Witold Lukaszewicz:
Extending Knowledge Base Update into First-Order Knowledge Bases.
IEA/AIE 2008: 631-640 |
| 2007 |
|---|
| 42 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Communication between agents with heterogeneous perceptual capabilities.
Information Fusion 8(1): 56-69 (2007) |
| 2005 |
|---|
| 41 | EE | Ewa Madalinska-Bugaj,
Witold Lukaszewicz:
Belief Revision Revisited.
MICAI 2005: 31-40 |
| 40 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Similarity, Approximations and Vagueness.
RSFDGrC (1) 2005: 541-550 |
| 2004 |
|---|
| 39 | | Patrick Doherty,
Andrzej Szalas,
Witold Lukaszewicz:
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities.
KR 2004: 459-468 |
| 2003 |
|---|
| 38 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Tolerance Spaces and Approximative Representational Structures.
KI 2003: 475-489 |
| 37 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Information Granules for Intelligent Knowledge Structures.
RSFDGrC 2003: 405-412 |
| 36 | EE | Patrick Doherty,
Michal Grabowski,
Witold Lukaszewicz,
Andrzej Szalas:
Towards a Framework for Approximate Ontologies.
Fundam. Inform. 57(2-4): 147-165 (2003) |
| 35 | EE | Ewa Madalinska-Bugaj,
Witold Lukaszewicz:
Formalizing Defeasible Logic in CAKE.
Fundam. Inform. 57(2-4): 193-213 (2003) |
| 34 | EE | Patrick Doherty,
Andrzej Skowron,
Witold Lukaszewicz,
Andrzej Szalas:
Preface.
Fundam. Inform. 57(2-4): (2003) |
| 2002 |
|---|
| 33 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
CAKE: A Computer-Aided Knowledge Engineering Technique.
ECAI 2002: 220-224 |
| 2001 |
|---|
| 32 | EE | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Lazy Knowledge Base Update.
IEA/AIE 2001: 61-70 |
| 31 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.
IJCAI 2001: 145-154 |
| 2000 |
|---|
| 30 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Efficient Reasoning Using the Local Closed-World Assumption.
AIMSA 2000: 49-58 |
| 29 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update.
Fundam. Inform. 44(1-2): 95-131 (2000) |
| 1999 |
|---|
| 28 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Computing MPMA Updates Using Dijkstra's Semantics.
ISMIS 1999: 271-281 |
| 27 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Declarative PTIME Queries for Relational Databases using Quantifier Elimination.
J. Log. Comput. 9(5): 737-758 (1999) |
| 1998 |
|---|
| 26 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update.
KR 1998: 258-269 |
| 25 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
General Domain Circumscription and its Effective Reductions.
Fundam. Inform. 36(1): 23-55 (1998) |
| 1997 |
|---|
| 24 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Plans.
IJCAI 1997: 1215-1220 |
| 23 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Computing Circumscription Revisited: A Reduction Algorithm.
J. Autom. Reasoning 18(3): 297-336 (1997) |
| 1996 |
|---|
| 22 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
General Domain Circumscription in its First-Order Reduction.
FAPR 1996: 93-109 |
| 21 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Explaining Explanation Closure.
ISMIS 1996: 521-530 |
| 20 | | Janusz Jablonowski,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects.
KI 1996: 135-147 |
| 19 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
A Reduction Result for Circumscribed Semi-Horn Formulas.
Fundam. Inform. 28(3-4): 261-271 (1996) |
| 1995 |
|---|
| 18 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Computing Circumscription Revisited: Preliminary Report.
IJCAI 1995: 1502-1508 |
| 17 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.
IJCAI 1995: 1950-1955 |
| 16 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Reasoning about Action and Change: Actions with Abnormal Effects.
KI 1995: 209-220 |
| 1994 |
|---|
| 15 | | Patrick Doherty,
Witold Lukaszewicz:
Cicumscribing Features and Fluents.
ICTL 1994: 82-100 |
| 14 | | Patrick Doherty,
Witold Lukaszewicz:
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.
ISMIS 1994: 521-530 |
| 13 | | Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Program Verification Techniques as a Tool for Reasoning about Action and Change.
KI 1994: 226-236 |
| 12 | | Barbara Dunin-Keplicz,
Janusz Jablonowski,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
CAProDel: a system for computer aided program development.
SEKE 1994: 470-477 |
| 1992 |
|---|
| 11 | | Patrick Doherty,
Witold Lukaszewicz:
FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.
ECAI 1992: 294-298 |
| 10 | | Patrick Doherty,
Witold Lukaszewicz:
Defaults as First-Class Citizens.
ISMVL 1992: 146-154 |
| 9 | | Patrick Doherty,
Witold Lukaszewicz:
NML3. A Non-Monotonic Logic with Explicit Defaults.
Journal of Applied Non-Classical Logics 2(1): (1992) |
| 1988 |
|---|
| 8 | | Witold Lukaszewicz:
Chronological Minimization of Abnormality: Simple Theories of Action.
ECAI 1988: 574-576 |
| 7 | | Witold Lukaszewicz:
Considerations on default logic: an alternative approach.
Computational Intelligence 4: 1-16 (1988) |
| 1986 |
|---|
| 6 | | Barbara Dunin-Keplicz,
Witold Lukaszewicz:
Towards Discourse-Oriented Nonmonotonic System.
COLING 1986: 504-506 |
| 5 | | Witold Lukaszewicz:
Minimization of Abnormality: A Simple System for Default Reasoning.
ECAI 1986: 175-182 |
| 1985 |
|---|
| 4 | | Witold Lukaszewicz:
Two Results on Default Logic.
IJCAI 1985: 459-461 |
| 1984 |
|---|
| 3 | | Witold Lukaszewicz:
Nonmonotonic Logic for Default Theories.
ECAI 1984: 403-412 |
| 2 | | Witold Lukaszewicz:
Considerations on Default Logic.
NMR 1984: 165-193 |
| 1983 |
|---|
| 1 | | Witold Lukaszewicz:
General Approach to Nonmonotonic Logics.
IJCAI 1983: 352-354 |
