Logics in Artificial Intelligence
From MaRDI portal
Publication:5394121
DOI10.1007/b100483zbMath1111.68687MaRDI QIDQ5394121
No author found.
Publication date: 25 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100483
Related Items
A denotational semantics for equilibrium logic, Partial Functions and Equality in Answer Set Programming, Quantified Equilibrium Logic and Foundations for Answer Set Programs, Synonymous theories and knowledge representations in answer set programming, Ordered completion for first-order logic programs on finite structures, Formalising the Fisherman's Folly puzzle, Weight constraint programs with evaluable functions, A progression semantics for first-order logic programs, A qualitative temporal extension of here-and-there logic, On the Expressiveness of Temporal Equilibrium Logic, Strongly Equivalent Temporal Logic Programs