logic for programming and automatedreasoning : 6thinternationalconference, lpar'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings by lpar '99 (1999 : Tʻbilisi, Georgia); Ganzinger, H. (Harald), 1950-...
详细信息
logic for programming and automatedreasoning : 6thinternationalconference, lpar'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings by lpar '99 (1999 : Tʻbilisi, Georgia); Ganzinger, H. (Harald), 1950-; McAllester, David A; Voronkov, A. (Andreĭ), 1959-; published by Berlin ; New York : Springer
the proceedings contain 12 papers. the topics discussed include: properties of answer set programming with convex generalized atoms;hybrid automatedreasoning tools: from black-box to clear-box integration;aspartame: ...
the proceedings contain 12 papers. the topics discussed include: properties of answer set programming with convex generalized atoms;hybrid automatedreasoning tools: from black-box to clear-box integration;aspartame: solving constraint satisfaction problems with answer set programming;a functional view of strong negation in answer set programming;an algebra of causal chains;query answering in object oriented knowledge bases in logicprogramming: description and challenge for ASP;the DIAMOND system for argumentation: preliminary report;a system for interactive query answering with answer set programming;and generating shortest synchronizing sequences using answer set programming.
Recently, researchers in answer set programming and constraint programming spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separat...
详细信息
the TPTP World is a well established infrastructure supporting research, development, and deployment of automatedtheorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logi...
详细信息
ISBN:
(纸本)9783642287176
the TPTP World is a well established infrastructure supporting research, development, and deployment of automatedtheorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logic, which in turn has enabled the integration of arithmetic. this paper describes these developments.
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, automatedreasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-ord...
ISBN:
(纸本)3540438653
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, automatedreasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-order constraints in the algebra of trees;deduction versus computation;integration of quantifier elimination with constraint logicprogramming;towards a hybrid symbolic/numeric computational approach in controller design;inductive synthesis of functional programs;on a generalised logicality theorem;using symbolic computation in an automated sequent derivation system for multi-valued logic;multicontext logic for semigroups of contexts;indefinite integration as a testbed for developments in multi-agent systems;genetic symbolic classification integrated with non-linear coefficient optimisation;a novel face recognition method;non-commutative logic for hand-written character modeling;from numerical to symbolic data during the recognition of scenarii;on mathematical modeling of networks and implementation aspects;continuous first-order constraint satisfaction;reasoning and scheduling with interval constraints;a genetic-based approach for satisfiability problems;the meaning of infinity in calculus and computer algebra systems and making conjectures about maple functions.
the proceedings contain 23 papers. the topics discussed include: on the complexity of counting the Hilbert basis of a linear diophantine system;solving combinatorial problems with regular local search algorithms;evide...
ISBN:
(纸本)3540664920
the proceedings contain 23 papers. the topics discussed include: on the complexity of counting the Hilbert basis of a linear diophantine system;solving combinatorial problems with regular local search algorithms;evidence algorithm and sequent logical inference search;first order linear temporal logic over finite time structures;transforming conditional rewrite systems with extra variables into unconditional systems;cancellative superposition decides the theory of divisible torsion-free Abelian groups;regular sets of descendants for constructor-based rewrite systems;practical reasoning for expressive description logics;abstracting properties in concurrent constraint programming;a fixpoint semantics for reasoning about finite failure;extensions to the estimation calculus;Beth definability for the guarded fragment;and simplification of horn clauses that are clausal forms of guarded formulas.
the proceedings contain 28 papers. the special focus in this conference is on Relationships between the theory and Practice of Agents. the topics include: reasoning about visibility, perception and knowledge;a spectru...
ISBN:
(纸本)3540672001
the proceedings contain 28 papers. the special focus in this conference is on Relationships between the theory and Practice of Agents. the topics include: reasoning about visibility, perception and knowledge;a spectrum of modes of knowledge sharing between agents;observability-based nested belief computation for multiagent systems and its formalization;on the correctness of PRS agent programs;incorporating uncertainty in agent commitments;rational cognition in OSCAR;agents for information broadcasting;on the evaluation of agent architectures;toward a methodology for AI architecture evaluation;reactive-system approaches to agent architectures;a planning component for RETSINA agents;a scalable agent location mechanism;reactivity in a logic-based robot programming framework;operational semantics of multi-agent organisations;agent communication and integration;toward team-oriented programming;agent-oriented software engineering;multiagent system engineering;using multi-context systems to engineer executable agents;structuring BDI agents in functional clusters;towards a distributed, environment-centered agent framework;variable sociability in agent-based decision making;cooperation and group utility;relating quantified motivations for organizationally situated agents;the role and the impact of preferences on multiagent interaction and deliberate normative agents.
Our aim is to define a new fixpoint semantics which correctly models finite failure. In order to achieve this goal a new fixpoint operator is derived from a "suitable" concrete semaoitics by defining a Galoi...
详细信息
ISBN:
(纸本)3540664920
Our aim is to define a new fixpoint semantics which correctly models finite failure. In order to achieve this goal a new fixpoint operator is derived from a "suitable" concrete semaoitics by defining a Galois insertion modeling finite failure. the corresponding abstract fixpoint semantics correctly models finite failure and is and-compositional.
TLA (the Temporal logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, withthe intent to ...
详细信息
ISBN:
(纸本)3540664920
TLA (the Temporal logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, withthe intent to facilitate the communication between domain and solution experts in the design of reactive systems.
We present a denotational semantics for concurrent constraint programming based on derivations containing sequences of interactions of a process withthe environment. Our semantic is then used as collecting semantics ...
详细信息
ISBN:
(纸本)3540664920
We present a denotational semantics for concurrent constraint programming based on derivations containing sequences of interactions of a process withthe environment. Our semantic is then used as collecting semantics for abstracting properties of computations by applying techniques of abstract interpretation.
暂无评论