scientific article; zbMATH DE number 1222413

zbMath0914.68030MaRDI QIDQ4217936

Tran Cao Son, Michael Gelfond

Publication date: 21 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

methodology of reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (11)

A Selective Semantics for Logic Programs with Preferences ⋮ Argumentation for Practical Reasoning: An Axiomatic Approach ⋮ Logic Programming with Defaults and Argumentation Theories ⋮ Fundamental properties of attack relations in structured argumentation with priorities ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ⋮ An argument-based approach to reasoning with specificity ⋮ Expressing preferences in default logic ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ Preference Logic Grammars: Fixed point semantics and application to data standardization

This page was built for publication: