Camilla Schwind

Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011

2010

From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2010

Tableau Calculi for <i>CSL</i>\mathcal{CSL} over minspaces.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

Tableau calculus for preference-based conditional logics: PCL and its extensions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.

[BibT_eX]

[DOI]

Régis Alenda

Nicola Olivetti

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2007

A sequent calculus and a theorem prover for standard conditional logics.

[BibT_eX]

[DOI]

Nicola Olivetti

Gian Luca Pozzato

ACM Trans. Comput. Log., 2007

Specifying and verifying interaction protocols in a temporal action logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

A first-order Temporal Logic for Actions

[BibT_eX]

[DOI]

CoRR, 2007

2005

Specialization of Interaction Protocols in a Temporal Action Logic.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

2004

Database Repairs and Analytic Tableaux.

[BibT_eX]

[DOI]

Leopoldo E. Bertossi

Ann. Math. Artif. Intell., 2004

Conditional logic of actions and causation.

[BibT_eX]

[DOI]

Artif. Intell., 2004

Verifying Communicating Agents by Model Checking in a Temporal Action Logic.

[BibT_eX]

[DOI]

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

2003

Tableau Calculi for Preference-Based Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

Towards a conditional logic of actions and causation.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Analytic Tableaux and Database Repairs: Foundations.

[BibT_eX]

[DOI]

Leopoldo E. Bertossi

Proceedings of the Foundations of Information and Knowledge Systems, 2002

2001

Reasoning about Actions in Dynamic Linear Time Temporal Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

A Calculus and Complexity Bound for Minimal Conditional Logic.

[BibT_eX]

[DOI]

Nicola Olivetti

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Reasoning about Actions in a Multiagent Domain.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000

Ramification and causality in a modal action logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

1999

Causality in Action Theories.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1999

A Theory for Causal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

1998

Dealing with Concurrent Actions in Modal Action Logics.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Graded Hypothesis Theories.

[BibT_eX]

[DOI]

Philippe Chatalic

Christine Froidevaux

Theor. Comput. Sci., 1997

1994

Tableaux-Based Characterization and Theorem Proving for default Logic.

[BibT_eX]

[DOI]

Vincent Risch

J. Autom. Reason., 1994

Revision and action.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1994

A Modal Logic for Hypothesis Theory.

[BibT_eX]

[DOI]

Pierre Siegel

Fundam. Informaticae, 1994

1993

Modal logic based theory for non-monotonic reasoning.

[BibT_eX]

[DOI]

Pierre Siegel

J. Appl. Non Class. Logics, 1993

1992

Tableaux-Based Theorem Proving and Non-Standard Reasoning.

[BibT_eX]

Vincent Risch

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1991

A Tableau-Based Characterisation for Default Logic.

[BibT_eX]

[DOI]

Vincent Risch

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990

An Intelligent Language Tutoring System.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1990

Feature grammars for semantic analysis.

[BibT_eX]

[DOI]

Comput. Intell., 1990

A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Automated Deduction, 1990

1988

A Theorem Prover for Action Performance.

[BibT_eX]

Emmanuel Lafon

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

Sensitive parsing: error analysis and explanation in an intelligent language tutoring system.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Computational Linguistics, 1988

1984

Embedding deductive capabilities in relational database systems.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1984

Logic Based Natural Language Processing.

[BibT_eX]

Proceedings of the Natural Language Understanding and Logic Programming, 1984

Temporal Logic in Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the GWAI-84, 1984

Semantikkonzepte in der Künstlichen Intelligenz.

[BibT_eX]

[DOI]

Proceedings of the Küstliche Intelligenz, 1984

1983

Semantic trees for natural language representation.

[BibT_eX]

[DOI]

Inf. Process. Manag., 1983

1982

Natural Language Access to PROLOG Database Systems.

[BibT_eX]

[DOI]

Proceedings of the GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27, 1982

1978

Representing Actions by State Logic.

[BibT_eX]

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

Analysing and Representing Natural Language in Logic.

[BibT_eX]

Frank M. Brown

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

A Formalism for the Description of Question Answering Systems.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Communication with Computers, 1978

1977

Automatic thesaurus construction from natural language definitions.

[BibT_eX]

[DOI]

Jürgen M. Janas

SIGART Newsl., 1977

A State Logic for the Representation of Natural Language Based Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Automatic, semantics-based indexing of natural language texts for information retrieval systems.

[BibT_eX]

[DOI]

Stephan Braun

Inf. Process. Manag., 1976

1975

Generating Hierarchical Semantic Networks Froma Natural Language Discourse.

[BibT_eX]

[DOI]