|
|
Sold Out
Book Categories |
| Constraints and Probabilistic Networks: A Look at the Interface | 1 | |
| Toward a Universal Inference Engine | 2 | |
| Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative | 3 | |
| Semantics for Dynamic Logic Programming: A Principle-Based Approach | 8 | |
| Probabilistic Reasoning with Answer Sets | 21 | |
| Answer Sets: From Constraint Programming towards Qualitative Optimization | 34 | |
| A Logic of Non-monotone Inductive Definitions and Its Modularity Properties | 47 | |
| Reasoning about Actions and Change in Answer Set Programming | 61 | |
| Almost Definite Causal Theories | 74 | |
| Simplifying Logic Programs under Uniform and Strong Equivalence | 87 | |
| Towards Automated Integration of Guess and Check Programs in Answer Set Programming | 100 | |
| Definitions in Answer Set Programming | 114 | |
| Graphs and Colorings for Answer Set Programming: Abridged Report | 127 | |
| Nondefinite vs. Definite Causal Theories | 141 | |
| Logic Programs with Monotone Cardinality Atoms | 154 | |
| Set Constraints in Logic Programming | 167 | |
| Verifying the Equivalence of Logic Programs in the Disjunctive Case | 180 | |
| Uniform Equivalence for Equilibrium Logic and Logic Programs | 194 | |
| Partial Stable Models for Logic Programs with Aggregates | 207 | |
| Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs | 220 | |
| Using Criticalities as a Heuristic for Answer Set Programming | 234 | |
| Planning with Preferences Using Logic Programming | 247 | |
| Planning with Sensing Actions and Incomplete Information Using Logic Programming | 261 | |
| Deduction in Ontologies via ASP | 275 | |
| Strong Equivalence for Causal Theories | 289 | |
| Answer Set Programming with Clause Learning | 302 | |
| Properties of Iterated Multiple Belief Revision | 314 | |
| System Description: DLV with Aggregates | 326 | |
| GNT - A Solver for Disjunctive Logic Programs | 331 | |
| LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs | 336 | |
| DLV[superscript DB]: Bridging the Gap between ASP Systems and DBMSs | 341 | |
| Cmodels-2: SAT-Based Answer Set Solver Enhanced to Non-tight Programs | 346 | |
| WSAT(CC) - A Fast Local-Search ASP Solver | 351 | |
| Smodels with CLP - A Treatment of Aggregates in ASP | 356 | |
| nlp: A Compiler for Nested Logic Programming | 361 | |
| Author Index | 365 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Faiz Hirani
reviewed Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings on December 17, 2008
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings
Pretty good introduction to algorithms. The writing style wasn't overly dry or boring. The explanations usually made sense, but occasionally felt lack in details. Some of the problem questions were quite difficult and sometimes seemed unrelated to the on page instruction material. The solutions manual helped me understand most of the difficult problems, but some were still ambiguous. This is a good textbook for use with a class, but perhaps not so great for self-learning unless you can find a community to further explain concepts and problems.
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 List
X
This item is in your Collection
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings
X
This Item is in Your Inventory
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings
X
You must be logged in to review the productsX
X
X
Add Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings, This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 , Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings to the inventory that you are selling on WonderClubX
X
Add Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings, This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 , Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004: Proceedings to your collection on WonderClub |