最 低 价：￥609.70
| Invited Papers Constraints and Probabilistic Networks: A Look at the Interface Toward a Universal Inference Engine Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative Regular Papers Semantics for Dynamic Logic Programming: A Principle-Based Approach, Probabilistic Reasoning with Answer Sets Answer Sets: From Constraint Programming towards Qualitative Optimization A Logic of Non-monotone Inductive Definitions and Its Modularity Properties Reasoning about Actions and Change in Answer Set Programming Almost Definite Causal Theories Simplifying Logic Programs under Uniform and Strong Equivalence Towards Automated Integration of Guess and Check Programs in Answer Set Programming Definitions in Answer Set Programming Graphs and Colorings for Answer Set Programming:Abridged Report Nondefinite vs. Definite Causal Theories Logic Programs with Monotone Cardinality Atoms Set Constraints in Logic Programming Verifying the Equivalence of Logic Programs in the Disjunctiw Case Uniform Equivalence for Equilibrium Logic and Logic Programs Partial Stable Models for Logic Programs with Aggregates Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs Using Criticalities as a Heuristic for Answer Set Programming Planning with Preferences Using Logic Programming Planning with Sensing Actions and Incomplete Information Using Logic Programming Deduction in Ontologies via ASP Strong Equivalence for Causal Theories Answer Set Programming with Clause Learning Properties of Iterated Multiple Belief Revision …… System Descriptions Author Index |
内容加载中，请稍后...
商品评论（0条）