Logics in Artificial Intelligence Book

	Representing and reasoning with preferences	1
	Engineering of logics for the content-based representation of information	2
	Formal methods in robotics	4
	Games for cognitive agents	5
	Knowledge-theoretic properties of strategic voting	18
	The CIFF proof procedure for abductive logic programming with constraints	31
	Hierarchical decision making by autonomous agents	44
	Verifying communicating agents by model checking in a temporal action logic	57
	Qualitative action theory (a comparison of the semantics of alternating-time temporal logic and the Kutschera-Belnap approach to agency)	70
	Practical reasoning for uncertain agents	82
	Modelling communicating agents in timed reasoning logics	95
	On the relation between ID-logig and answer set programming	108
	An implementation of statistical default logic	121
	Capturing parallel circumscription with disjunctive logic programs	134
	Towards a first order equilibrium logic for nonmonotonic reasoning	147
	Characterizations for relativized notions of equivalence in answer set programming	161
	Equivalence of logic programs under updates	174
	Cardinality constraint programs	187
	Recursive aggregates in disjunctive logic programs : semantics and complexity	200
	A logic for reasoning about coherent conditional probability : a modal fuzzy logic approach	213
	A logic with conditional probabilities	226
	Reasoning about quantum systems	239
	Sorted multi-adjoint logic programs : termination results and applications	252
	The modal logic programming system MProlog	266
	Soundness and completeness of an "E.cient" negation for prolog	279
	Logic programs with functions and default values	294
	Parallel encodings of classical planning as Satis.ability	307
	Relational Markov games	320
	On the logic of 'being motivated to achieve n, before a	334
	Representation and complexity in boolean games	347
	Complexity in value-based argument systems	360
	A polynomial translation from the two-variable guarded fragment with number restrictions to the guarded fragment	372
	Transforming fuzzy description logics into classical description logics	385
	Computing the least common subsumer w.r.t. a background terminology	400
	Explaining subsumption by optimal interpolation	413
	Two approaches to merging knowledge bases	426
	An algebraic approach to belief contraction and nonmonotonic entailment	439
	Logical connectives for nonmonotonicity : a choice function-based approach	452
	On sceptical versus credulous acceptance for abstract argument systems	462
	Line-based affine reasoning in Euclidean plane	474
	Measure logics for spatial reasoning	487
	Only knowing with confidence levels : reductions and complexity	500
	Time granularities and ultimately periodic automata	513
	Polynomial approximations of full propositional logic via limited bivalence	526
	Some techniques for branch-saturation in free-variable tableaux	539
	Semantic knowledge partitioning	552
	Negative hyper-resolution as procedural semantics of disjunctive logic programs	565
	Discovering anomalies in evidential knowledge by logic programming	578
	Logic programming infrastructure for inferences on FrameNet	591
	An answer set programming encoding of prioritized removed sets revision : application to GIS	604
	Automatic compilation of protocol insecurity problems into logic programming	617
	Exploiting functional dependencies in declarative problem specifications	628
	Combining decision procedures for sorted theories	641
	Meta-level verification of the quality of medical guidelines using interactive theorem proving	654
	Towards a logical analysis of biochemical pathways	667
	Abductive logic programming with CIFF : system description	680
	The DALI logic programming agent-oriented language	685
	Qsmodels : ASP planning in interactive gaming environment	689
	A system with template answer set programs	693
	New DLV features for data integration	698
	Profiling answer set programming : the visualization component of the noMoRe system	702
	The PLP system	706
	The MyYapDB deductive database system	710
	InterProlog : towards a declarative embedding of logic programming in Java	714
	IndLog - induction in logic	718
	OLEX - a reasoning-based text classifier	722
	Verdi : an automated tool for Web sites verification	726
	SATMC : a SAT-based model checker for security protocols	730
	Tabeql : a tableau based suite for equilibrium logic	734
	Tascpl : TAS solver for classical propositional logic	738