最 低 价：￥484.50
| Invited Papers A Computational Logic Approachto Heterogenous Agent Systems Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto On the Complexity of Model Cheking and Inference in Minimal Models ( Extended Abstract) Data Integration Needs Reasoning Nonmonotonic Inductive Logic Programming Regular Papers Strong Equivalence for Logic Programs and Default Theoriex(Made Easy) On the Effect of Default Negation on the Expressiveness of Disjunctive Rules On the Expressibility of Stable Logic Programming On the Relationship between Defeasible Logic and Well-Founded Semantics A Comparative Study of Well-Founded Semantics Reasoning with Open Logic Programs Representation of Incomplete Knowledge by Induction of Default Theories Explicitly Using Default knwledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules Declarative Specification and Solution of Combinatorial Auctions Using Logec Programming Bounded LTL Model Checking with Stable Models Diagnosing Physical Systems in A-Prolog Planning with Different Forms of Domain-Dependent Control Knowledge-An Answer Ser Programming Approach Encoding Solutions of the Frame Problem in Dynamic Logic ε-RES: Reasoning about Actions, Events and Obsrvations Omega-Reasoning Logic Programs Improving ASP Instantiators by Join-Ordering Methods Optimizing the Computation of Heuristics New Generation Systems for Non-monotonic Reasoning Algorithms for Computing X-Minimal Models Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics Multi-adjoint Logic Programming With Continuous Semantics Multi-dimensional Dynamic Knowledge Representation Antitonic Logic Programs System Descriptions Author Index |
内容加载中，请稍后...
商品评论（0条）