James P. Delgrande

Comput. Intell., 2004

Representing von Neumann-Morgenstern Games in the Situation Calculus.

[BibT_eX]

[DOI]

Oliver Schulte

Ann. Math. Artif. Intell., 2004

The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Consistency-based approaches to merging knowledge bases: preliminary report.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Preliminary considerations on the modelling of belief change operators by metric spaces.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Domain-Specific Preferences for Causal Reasoning and Planning.

[BibT_eX]

[DOI]

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

Two Approaches to Merging Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Theory for Convex Interval Relations including Unbounded Intervals.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Conservative Belief Revision.

[BibT_eX]

[DOI]

Abhaya C. Nayak

Maurice Pagnucco

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

A Framework for Compiling Preferences in Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

A consistency-based approach for belief change.

[BibT_eX]

[DOI]

Artif. Intell., 2003

Prolegomenon to a Theory of Conservative Belief Revision.

[BibT_eX]

[DOI]

Abhaya C. Nayak

Maurice Pagnucco

Proceedings of the IJCAI-03, 2003

Weak Conditional Logics of Normality.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

On the Relation between Reiter's Default Logic and Its (Major).

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Lukaszewicz-style Answer Set Programming: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Reasoning Credulously and skeptically within a single extension.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2002

Updating <=, <-chains.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

AAAI 2002 Workshops.

[BibT_eX]

[DOI]

AI Mag., 2002

COBA: A Consistency-Based Belief Revision System.

[BibT_eX]

[DOI]

Aaron Hunter

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

A comparison of point-based approaches to qualitative temporal reasoning.

[BibT_eX]

[DOI]

Tim Van Allen

Artif. Intell., 2001

plp: A Generic Compiler for Ordered Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

On Computing Solutions to Belief Change Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

How to Reason Credulously and Skeptically within a Single Extension.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study.

[BibT_eX]

[DOI]

Bradley Bart

Oliver Schulte

Proceedings of the Advances in Artificial Intelligence, 2001

2000

A Compiler for Ordered Logic Programs

[BibT_eX]

[DOI]

CoRR, 2000

Expressing preferences in default logic.

[BibT_eX]

[DOI]

Artif. Intell., 2000

A Compilation of Brewka and Eiter's Approach to Prioritization.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Logic Programs with Compiled Preferences.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

A Formalization of Structured Temporal Objects and Repetition.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

Considerations on Compositional Update Operators.

[BibT_eX]

[DOI]

Matthew Suderman

Proceedings of the Advances in Artificial Intelligence, 2000

A Consistency-Based Model for Belief Change: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Considerations on a Similarity-Based Approach to Beleif Change.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Point-Based Approaches to Qualitative Temporal Reasoning.

[BibT_eX]

[DOI]

Tim Van Allen

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Expressing Time Intervals and Repetition within a Formalization of Calendars.

[BibT_eX]

[DOI]

Comput. Intell., 1998

On First-Order Conditional Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1998

Towards a Formal Characterization of Temporal Repetition with Closed Time.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Reasoning with Sets of Preferences in Default Logic.

[BibT_eX]

[DOI]

Proceedings of the PRICAI'98, 1998

Revising TimeGraph-II.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1998

1997

Compiling Specificity Into Approaches to Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1997

Compiling Reasoning with and about Preferences into Default Logic.

[BibT_eX]

[DOI]

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

1996

The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1996

A Representation for Efficient Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Characterizing Temporal Repetition.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

A Framework for Logics of Explicit Belief.

[BibT_eX]

[DOI]

Comput. Intell., 1995

Syntactic Conditional Closures for Defeasible Reasoning.

[BibT_eX]

[DOI]

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

1994

On a General Approach to Hedged Reasoning.

[BibT_eX]

[DOI]

Comput. Intell., 1994

Alternative Approaches to Default Logic.

[BibT_eX]

[DOI]

W. Ken Jackson

Artif. Intell., 1994

A General Approach to Specificity in Default Reasoning.

[BibT_eX]

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Incorporating Specificity into Circumscriptive Theories.

[BibT_eX]

[DOI]

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

A Preference-Based Approach to Default Reasoning: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Time Units and Calendars.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1992

Accessibility in Logics of Explicit Belief.

[BibT_eX]

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991

Default Logic Revisited.

[BibT_eX]

W. Ken Jackson

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Incorporating Nonmonotonic Reasoning in Horn Clause Theories.

[BibT_eX]

[DOI]

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

A general approach for determining the validity of commonsense assertions using conditional logics.

[BibT_eX]

[DOI]

Chris Groeneboer

Int. J. Intell. Syst., 1990

A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract.

[BibT_eX]

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989

An investigation of modal structures as an alternative semantic basis for epistemic logics.

[BibT_eX]

[DOI]

Sharon J. Hamilton

Comput. Intell., 1989

A note on evidence, confirmation in machine learning.

[BibT_eX]

[DOI]

Comput. Intell., 1989

1988

An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report.

[BibT_eX]

[DOI]

Artif. Intell., 1988

Tableau-Based Theorem Proving In Normal Conditional Logics.

[BibT_eX]

[DOI]

Chris Groeneboer

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

A Formal Approach to Learning from Examples.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1987

A foundational approach to autonomous knowledge acquisition.

[BibT_eX]

[DOI]

Comput. Intell., 1987

A First-Order Conditional Logic for Prototypical Properties.

[BibT_eX]

[DOI]

Artif. Intell., 1987

Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

A Logic for Representing Default and Prototypical Properties.

[BibT_eX]

[DOI]

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

An Approach to Default Reasoning Based on a First-Order Conditional Logic.

[BibT_eX]

[DOI]

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1985

A foundational approach to conjecture and knowledge in knowledge bases.

[BibT_eX]

[DOI]

PhD thesis, 1985

Knowledge Representation: Features of Knowledge.

[BibT_eX]

[DOI]

John Mylopoulos

Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985

1980

A graph-theoretic language extension for an interactive computer graphics environment.

[BibT_eX]

[DOI]

Comput. Graph., 1980

1979

An interactive system for the construction and animation of systems dynamics models.

[BibT_eX]

[DOI]