Sold Out
Book Categories |
Nonmonotonic reasoning in FLORA-2 | 1 | |
Data integration and answer set programming | 13 | |
Halo I : a controlled experiment for large scale knowledge base development | 26 | |
Unfounded sets for disjunctive logic programs with arbitrary aggregates | 40 | |
Loops : relevant or redundant? | 53 | |
Approximating answer sets of unitary Lifschitz-Woo programs | 66 | |
On modular translations and strong equivalence | 79 | |
Guarded open answer set programming | 92 | |
External sources of computation for answer set solvers | 105 | |
Answer sets for propositional theories | 119 | |
An ID-logic formalization of the composition of autonomous databases | 132 | |
On the local closed-world assumption of data-sources | 145 | |
Computing dialectical trees efficiently in possibilistic defeasible logic programming | 158 | |
An approximation of action theories of AL and its application to conformant planning | 172 | |
Game-theoretic : reasoning about actions in nonmonotonic causal theories | 185 | |
Some logical properties of nonmonotonic causal theories | 198 | |
Modular-[epsilon] : an elaboration tolerant approach to the ramification and qualification problems | 211 | |
Platypus : a platform for distributed answer set solving | 227 | |
Solving hard ASP programs efficiently | 240 | |
Mode-directed fixed point computation | 253 | |
Lookahead in smodels compared to local consistencies in CSP | 266 | |
Nested epistemic logic programs | 279 | |
An algebraic account of modularity in ID-logic | 291 | |
Default reasoning with preference within only knowing logic | 304 | |
A social semantics for multi-agent systems | 317 | |
Revisiting the semantics of interval probabilistic logic programs | 330 | |
Routley semantics for answer sets | 343 | |
The well supported semantics for multidimensional dynamic logic programs | 356 | |
Application of smodels in quartet based phylogeny construction | 369 | |
Using answer set programming for a decision support system | 374 | |
Data integration : a challenging ASP application | ||
Abduction and preferences in linguistics | 384 | |
Inference of gene relations from microarray data by abduction | 389 | |
Nomore[superscript <] : a system for computing preferred answer sets | 394 | |
Integrating an answer set solver into prolog : ASP - PROLOG | 399 | |
CIRC2DLP - translating circumscription into disjunctive logic programming | 405 | |
Pbmodels - software to compute stable models by pseudoboolean solvers | 410 | |
KMonitor - a tool for monitoring plan execution in action theories | 416 | |
The nomore++ system | 422 | |
Smodels[superscript A] - a system for computing answer sets of logic programs with aggregates | 427 | |
A DLP system with object-oriented features | 432 | |
Testing strong equivalence of datalog programs - implementation and examples | 437 | |
SELP - a system for studying strong equivalence between logic programs | 442 | |
CMODELS - SAT-based disjunctive answer set solver | 447 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogic Programming and Nonmonotonic Reasoning
X
This Item is in Your InventoryLogic Programming and Nonmonotonic Reasoning
X
You must be logged in to review the productsX
X
X
Add Logic Programming and Nonmonotonic Reasoning, This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005. The 25 revised full papers, 16 revised for the system and applica, Logic Programming and Nonmonotonic Reasoning to the inventory that you are selling on WonderClubX
X
Add Logic Programming and Nonmonotonic Reasoning, This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005. The 25 revised full papers, 16 revised for the system and applica, Logic Programming and Nonmonotonic Reasoning to your collection on WonderClub |