We present a logicprogramming based conditional planner that is capable of generating both conditional plans and conformant plans in the presence of sensing actions and incomplete information. We prove the correctnes...
详细信息
When mining frequent Datalog queries, many queries will cover the same examples;i.e., they will be equivalent and hence, redundant. the equivalences can be due to the data set or to the regularities specified in the b...
详细信息
the proceedings contain 142 papers. the special focus in this conference is on Invited Talks;logic and reasoning;Knowledge Representation and Search;Ontology. the topics include: Biomedical artificialintelligence;Ele...
ISBN:
(纸本)3540228179
the proceedings contain 142 papers. the special focus in this conference is on Invited Talks;logic and reasoning;Knowledge Representation and Search;Ontology. the topics include: Biomedical artificialintelligence;Electronics Institutions: Methodology of Multi-agent Systems Development;the Happy Searcher;On the Intended Interpretations of Actions;Temporal Linear logic for Symbolic Agent Negotiation;Dealing with Inconsistent Secure Messages;Answer Set Computation Based on a Minimal Model Generation theorem Prover;What Is a Qualitative Calculus? A General Framework;Qualitative Direction Calculi with Arbitrary Granularity;Power of Brute-Force Search in Strongly-Typed Inductive Functional programming Automation;Ontology Services-Based Information Integration in Mining Telecom Business intelligence;Indexing Approach for Delivery Demands with Time Constraints;An Hierarchical Terrain Representation for Approximately Shortest Paths;Agents Embodying a Category-Based Learning Process for the ITS Tutor to Self-improve Its Instructional Plans;Circuit Consistencies;Solving Over-Constrained Temporal reasoning Problems Using Local Search;Methods of Automatic Algorithm Generation;A Novel Heuristic to Solve IA Network by Convex Approximation and Weights;Applying An Improved Heuristic Based Optimiser to Solve a Set of Challenging University Timetabling Problems;Extending Unit Propagation Look-Ahead of DPLL Procedure;Extended Nearest Feature Line Classifier;An Iterative Empirical Classification Scheme;Accelerating Linear Causal Model Discovery Using Hoeffding Bounds;Constrained Variables from Positive Data;Fast Incremental Learning of Linear Model Trees;A Modified Incremental Principal Component Analysis for On-Line Learning of Feature Space and Classifier and Probability Based Genetic programming for Multiclass Object Classification.
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. the availability of different semantics naturally raises the question of which are most adequate to mo...
详细信息
Representation of belief states is an important issue for knowledge based systems. In this paper, we develop a matrix representation for ordered belief states and show that belief reasoning, revision and fusion can al...
详细信息
ISBN:
(纸本)3540221174
Representation of belief states is an important issue for knowledge based systems. In this paper, we develop a matrix representation for ordered belief states and show that belief reasoning, revision and fusion can all be interpreted as operations of matrix algebra. thus, the matrix representation can serve as the basis of algebraic semantics for belief logic.
Answer Set programming is a new paradigm based on logicprogramming. the main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, syst...
详细信息
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. this analysis can be used to further prune the search space and to direct the search heuristic. the use of such clauses has be...
详细信息
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of propositional atoms. We develop a theory...
详细信息
In answer set programming, programs often contain auxiliary atoms, "defined" in terms of atoms introduced earlier. To prove that the answer sets of a program containing definitions correspond to the solution...
详细信息
Transportation of electrical energy is normally made through a network of high-tension lines. In case of an incident, the electrical protections at both ends of a line are activated. Most of the incidents are short-li...
详细信息
暂无评论