Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	November 1999
Genre:	EDV / Informatik
	automateddeduction / complexity / constraintprogramming / Intelligenz / Künstliche Intelligenz / KI / knowledgerepresentation / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / Logic / logicprogramming / Nonclassicallogics / nonmonotonicreasoning / Programming / Semantics / Theoretische Informatik mehr...
ISBN:	9783540667490
EAN-Code:	9783540667490
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 23 mm
Gewicht:	622 gr
Seiten:	412
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Contributed Papers.- Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.- Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.- Locally Determined Logic Programs.- Annotated Revision Programs.- Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.- An Argumentation Framework for Reasoning about Actions and Change.- Representing Transition Systems by Logic Programs.- Transformations of Logic Programs Related to Causality and Planning.- From Causal Theories to Logic Programs (Sometimes).- Monotone Expansion of Updates in Logical Databases.- Updating Extended Logic Programs through Abduction.- LUPS - A Language for Updating Logic Programs.- Pushing Goal Derivation in DLP Computations.- Linear Tabulated Resolution for the Well-Founded Semantics.- A Case Study in Using Preference Logic Grammars for Knowledge Representation.- Minimal Founded Semantics for Disjunctive Logic Programming.- On the Role of Negation in Choice Logic Programs.- Default Reasoning via Blocking Sets.- Coherent Well-founded Annotated Logic Programs.- Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.- Extending Disjunctive Logic Programming by T-norms.- Extending the Stable Model Semantics with More Expressive Rules.- Stable Model Semantics of Weight Constraint Rules.- Towards First-Order Nonmonotonic Reasoning.- A Comparison of Sceptical NAF-Free Logic Programming Approaches.- Characterizations of Classes of Programs by Three-Valued Operators.- Invited Talks.- Using LPNMR for Problem Specification and Code Generation.- Answer Set Planning.- World-Modeling vs. World-Axiomatizing.- Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.