Witold Lukaszewicz

Fundam. Informaticae, 2015

2012

Revising Structured Knowledge Bases.

[BibT_eX]

[DOI]

Michal Korpusik

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2009

First-order Generalization of the MPMA Belief Update Operator.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

2008

Extending Knowledge Base Update into First-Order Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

2007

Communication between agents with heterogeneous perceptual capabilities.

[BibT_eX]

[DOI]

Inf. Fusion, 2007

2006

Knowledge Representation Techniques - A Rough Set Approach

[BibT_eX]

[DOI]

Studies in Fuzziness and Soft Computing 202, Springer, ISBN: 978-3-540-33518-4, 2006

2005

Similarity, Approximations and Vagueness.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2005

Belief Revision Revisited.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

2004

Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge.

[BibT_eX]

Proceedings of the Rough-Neural Computing: Techniques for Computing with Words., 2004

Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

Formalizing Defeasible Logic in CAKE.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Towards a Framework for Approximate Ontologies.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Information Granules for Intelligent Knowledge Structures.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2003

Tolerance Spaces and Approximative Representational Structures.

[BibT_eX]

[DOI]

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2002

CAKE: A Computer-Aided Knowledge Engineering Technique.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Lazy Knowledge Base Update.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Intelligent Systems, 2001

2000

The PMA and Relativizing Minimal Change for Action Update.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

Efficient Reasoning Using the Local Closed-World Assumption.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2000

1999

Declarative PTIME Queries for Relational Databases using Quantifier Elimination.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Computing MPMA Updates Using Dijkstra's Semantics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998

General Domain Circumscription and its Effective Reductions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1998

1997

Computing Circumscription Revisited: A Reduction Algorithm.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

Reasoning about Plans.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

A Reduction Result for Circumscribed Semi-Horn Formulas.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects.

[BibT_eX]

[DOI]

Janusz Jablonowski

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Explaining Explanation Closure.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

General Domain Circumscription in its First-Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

1995

Reasoning about Action and Change: Actions with Abnormal Effects.

[BibT_eX]

[DOI]

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Computing Circumscription Revisited: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

CAProDel: a system for computer aided program development.

[BibT_eX]

Barbara Dunin-Keplicz

Janusz Jablonowski

Proceedings of the SEKE'94, 1994

Program Verification Techniques as a Tool for Reasoning about Action and Change.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Cicumscribing Features and Fluents.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

1992

NML3. A Non-Monotonic Logic with Explicit Defaults.

[BibT_eX]

J. Appl. Non Class. Logics, 1992

Defaults as First-Class Citizens.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Multiple-Valued Logic, 1992

FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1990

Non-monotonic reasoning - formalization of commonsense reasoning.

[BibT_eX]

Ellis Horwood, ISBN: 978-0-13-624446-2, 1990

1988

Considerations on default logic: an alternative approach.

[BibT_eX]

[DOI]

Comput. Intell., 1988

Chronological Minimization of Abnormality: Simple Theories of Action.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1986

Minimization of Abnormality: A Simple System for Default Reasoning.

[BibT_eX]

Proceedings of the Advances in Artificial Intelligence II, 1986

Towards Discourse-Oriented Nonmonotonic System.

[BibT_eX]

[DOI]

Barbara Dunin-Keplicz

Proceedings of the 11th International Conference on Computational Linguistics, 1986

1985

Two Results on Default Logic.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Considerations on Default Logic.

[BibT_eX]

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

Nonmonotonic Logic for Default Theories.

[BibT_eX]

Proceedings of the Advances in Artificial Intelligence, 1984

1983

General Approach to Nonmonotonic Logics.

[BibT_eX]

[DOI]