Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 2007
Genre:	EDV / Informatik
	Agent (EDV) - Agentensystem / AIlogics / answersetprogramming / CognitiveRobotics / complexity / computationallogics / constraintprogramming / DatabaseLogic / Heuristics / InferenceEngines / Intelligenz / Künstliche Intelligenz / KI / knowledgerepresentation / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / Logic / Logikprogrammierung / nonmonotonicreasoning / programminglanguage / Prolog (EDV) / Robot / Semantics / Theoretische Informatik mehr...
ISBN:	9783540721994
EAN-Code:	9783540721994
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	Lecture Notes in Artificial Intelligence #4483 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D 19 mm
Gewicht:	522 gr
Seiten:	344
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Talks/Competition.- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.- Policy-Based Computing: From Systems and Applications to Theory.- The First Answer Set Programming System Competition.- Technical Papers.- cr-models: An Inference Engine for CR-Prolog.- Debugging ASP Programs by Means of ASP.- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.- Complexity of Default Logic on Generalized Conjunctive Queries.- A Preference-Based Framework for Updating Logic Programs.- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.- On the Complexity of Answer Set Programming with Aggregates.- Experimenting with Look-Back Heuristics for Hard ASP Programs.- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.- Conflict-Driven Answer Set Enumeration.- Head-Elementary-Set-Free Logic Programs.- A Deductive System for PC(ID).- Modularity Aspects of Disjunctive Stable Models.- A Characterization of Strong Equivalence for Logic Programs with Variables.- A Unified Semantics for Constraint Handling Rules in Transaction Logic.- Conditional Planning with External Functions.- Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.- General Default Logic.- System Descriptions.- The System: Logic Programming Meets Outlier Detection.- clasp: A Conflict-Driven Answer Set Solver.- GrinGo: A New Grounder for Answer Set Programming.- Using Answer Sets to Solve Belief Change Problems.- An Smodels System with Limited Lookahead Computation.- Programming Applications in CIFF.- CPP: A Constraint Logic Programming Based Planner with Preferences.- Posters.- An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment.- On the Effectiveness of Looking Ahead in Search for Answer Sets.- Enhancing ASP Systems for Planning with Temporal Constraints.- Semantics for Possibilistic Disjunctive Programs.- Modularity in smodels Programs.