Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings

DOI10.1007/978-3-540-72200-7zbMath1119.68003MaRDI QIDQ2381092

No author found.

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

Related Items (13)

Implementing Prioritized Merging with ASP ⋮ Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP ⋮ Vicious Circle Principle and Logic Programs with Aggregates ⋮ The rise and fall of semantic rule updates based onSE-models ⋮ Generating explanations for biomedical queries ⋮ Checking termination of bottom-up evaluation of logic programs with function symbols ⋮ Reducing fuzzy answer set programming to model finding in fuzzy logics ⋮ Minimal intervention strategies in logical signaling networks with ASP ⋮ Fuzzy answer sets approximations ⋮ Modeling biological networks by action languages via answer set programming ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Logic programs with abstract constraint atoms: the role of computations ⋮ Merging Belief Bases Represented by Logic Programs

This page was built for publication: Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings