dblp.uni-trier.dewww.uni-trier.de

Witold Lukaszewicz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
44EEEwa Madalinska-Bugaj, Witold Lukaszewicz: First-order Generalization of the MPMA Belief Update Operator. Fundam. Inform. 94(1): 49-61 (2009)
2008
43EEEwa Madalinska-Bugaj, Witold Lukaszewicz: Extending Knowledge Base Update into First-Order Knowledge Bases. IEA/AIE 2008: 631-640
2007
42EEPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Communication between agents with heterogeneous perceptual capabilities. Information Fusion 8(1): 56-69 (2007)
2005
41EEEwa Madalinska-Bugaj, Witold Lukaszewicz: Belief Revision Revisited. MICAI 2005: 31-40
40EEPatrick 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
38EEPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Tolerance Spaces and Approximative Representational Structures. KI 2003: 475-489
37EEPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Information Granules for Intelligent Knowledge Structures. RSFDGrC 2003: 405-412
36EEPatrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003)
35EEEwa Madalinska-Bugaj, Witold Lukaszewicz: Formalizing Defeasible Logic in CAKE. Fundam. Inform. 57(2-4): 193-213 (2003)
34EEPatrick 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
32EEWitold 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
30EEPatrick 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
28EEPatrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Computing MPMA Updates Using Dijkstra's Semantics. ISMIS 1999: 271-281
27EEPatrick 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
21EEPatrick 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
14EEPatrick 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

Coauthor Index

1Patrick Doherty [9] [10] [11] [14] [15] [18] [19] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [33] [34] [36] [37] [38] [39] [40] [42]
2Barbara Dunin-Keplicz [6] [12]
3Michal Grabowski [36]
4Janusz Jablonowski [12] [20]
5Ewa Madalinska-Bugaj [12] [13] [16] [17] [20] [24] [26] [28] [29] [32] [35] [41] [43] [44]
6Andrzej Skowron [34]
7Andrzej Szalas [18] [19] [21] [22] [23] [25] [27] [30] [31] [33] [34] [36] [37] [38] [39] [40] [42]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)