Witold Lukaszewicz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 49 from 49

2015

Consistency-based Revision of Structured Belief BasesMichal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj. FUIN, 136(4):381-404, 2015. [doi]

2012

Revising Structured Knowledge BasesMichal Korpusik, Witold Lukaszewicz, Ewa Madalinska-Bugaj. FedCSIS 2012: 81-87 [doi]

2009

First-order Generalization of the MPMA Belief Update OperatorEwa Madalinska-Bugaj, Witold Lukaszewicz. FUIN, 94(1):49-61, 2009. [doi]

2008

Extending Knowledge Base Update into First-Order Knowledge BasesEwa Madalinska-Bugaj, Witold Lukaszewicz. ieaaie 2008: 631-640 [doi]

2007

Communication between agents with heterogeneous perceptual capabilitiesPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. inffus, 8(1):56-69, 2007. [doi]

2006

Knowledge Representation Techniques - A Rough Set ApproachPatrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szalas. Volume 202 of Studies in Fuzziness and Soft Computing, Springer, 2006. [doi]

2005

Similarity, Approximations and VaguenessPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. rsfdgrc 2005: 541-550 [doi]

Belief Revision RevisitedEwa Madalinska-Bugaj, Witold Lukaszewicz. micai 2005: 31-40 [doi]

2004

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

Approximation Transducers and Trees: A Technique for Combining Rough and Crisp KnowledgePatrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szalas. In Sankar Kumar Pal, Lech Polkowski, Andrzej Skowron, editors, Rough-Neural Computing: Techniques for Computing with Words. Cognitive Technologies, pages 189-218, Springer, 2004.

2003

2002

CAKE: A Computer-Aided Knowledge Engineering TechniquePatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. ecai 2002: 220-224

2001

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

Lazy Knowledge Base UpdateWitold Lukaszewicz, Ewa Madalinska-Bugaj. ieaaie 2001: 61-70 [doi]

2000

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

Efficient Reasoning Using the Local Closed-World AssumptionPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. aimsa 2000: 49-58 [doi]

1999

Computing MPMA Updates Using Dijkstra s SemanticsPatrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj. ismis 1999: 271-281

Declarative PTIME Queries for Relational Databases using Quantifier EliminationPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. logcom, 9(5):737-758, 1999. [doi]

1998

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

General Domain Circumscription and its Effective ReductionsPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. FUIN, 36(1):23-55, 1998.

1997

Computing Circumscription Revisited: A Reduction AlgorithmPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. JAR, 18(3):297-336, 1997.

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

1996

1995

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

Reasoning about Action and Change: Actions with Abnormal EffectsWitold Lukaszewicz, Ewa Madalinska-Bugaj. ki 1995: 209-220

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

1994

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

Cicumscribing Features and FluentsPatrick Doherty, Witold Lukaszewicz. ictl 1994: 82-100

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

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

1992

FONML3 - A First-Order Non-monotonic Logic with Explicit DefaultsPatrick Doherty, Witold Lukaszewicz. ecai 1992: 294-298

Defaults as First-Class CitizensPatrick Doherty, Witold Lukaszewicz. ismvl 1992: 146-154

NML3. A Non-Monotonic Logic with Explicit DefaultsPatrick Doherty, Witold Lukaszewicz. jancl, 2(1), 1992.

1990

Non-monotonic reasoning - formalization of commonsense reasoningWitold Lukaszewicz. Ellis Horwood, 1990.

1988

Considerations on default logic: an alternative approachWitold Lukaszewicz. ci, 4:1-16, 1988.

Chronological Minimization of Abnormality: Simple Theories of ActionWitold Lukaszewicz. ecai 1988: 574-576

1986

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

Minimization of Abnormality: A Simple System for Default ReasoningWitold Lukaszewicz. ecai 1986: 175-182

1985

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

1984

Nonmonotonic Logic for Default TheoriesWitold Lukaszewicz. ecai 1984: 403-412

Considerations on Default LogicWitold Lukaszewicz. lpnmr 1984: 165-193

1983

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

Sign in or sign up to see more results.

runs on WebDSL