the proceedings contain 30 papers. the special focus in this conference is on Nonmononic reasoning and Descriptive complexity. the topics include: On the complexity of theory curbing;graph operations and monadic secon...
ISBN:
(纸本)3540412859
the proceedings contain 30 papers. the special focus in this conference is on Nonmononic reasoning and Descriptive complexity. the topics include: On the complexity of theory curbing;graph operations and monadic second-order logic;efficient first order functional program interpreter with time bound certifications;encoding temporal logics in executable Z;behavioural constructor implementation for regular algebras;an extensible proof text editor;a tactic language for the system Coq;proof simplification for model generation and its applications;compiling and verifying security protocols;equational binary decision diagrams;a PVS proof obligation generator for lustre programs;efficient structural information analysis for real CLP languages;playing logic programs withthe alpha-beta algorithm;logicprogramming approaches for representing and solving constraint satisfaction problems;proof-search in implicative linear logic as a matching problem;a new model construction for the polymorphic lambda calculus;church’s lambda delta calculus;querying inconsistent databases;static reduction analysis for imperative object oriented languages;an abstract interpretation approach to termination of logic programs and using an abstract representation to specialize functional logic programs.
the proceedings contain 33 papers from logicprogramming and Nonmonotonic reasoning : 7thinternationalconference LPNMR 2004. the topics discussed include: semantics for dynamic logicprogramming;probabilistic reason...
详细信息
the proceedings contain 33 papers from logicprogramming and Nonmonotonic reasoning : 7thinternationalconference LPNMR 2004. the topics discussed include: semantics for dynamic logicprogramming;probabilistic reasoning with answer sets;answer sets: from constraint programming towards qualitative optimization;a logic of non-monotonic inductive definitions and its modularity properties, and reasoning about actions and change in answer set programming.
logicprogramming and Nonmonotonic reasoning : 7thinternationalconference, Lpnmr 2004, Fort Lauderdale, Fl, Usa, January 6-8, 2004 : Proceedings by Lpnmr 2004 (2004 : Fort Lauderdale, Fla.); Lifschitz, Vladimir; Nie...
详细信息
logicprogramming and Nonmonotonic reasoning : 7thinternationalconference, Lpnmr 2004, Fort Lauderdale, Fl, Usa, January 6-8, 2004 : Proceedings by Lpnmr 2004 (2004 : Fort Lauderdale, Fla.); Lifschitz, Vladimir; Niemelä, Ilkka, 1961-; published by Berlin ; New York : Springer
Matching logic is the foundation of the K semantic environment for the specification of programming languages and automated generation of evaluators and verification tools. NLML is a formalization of nominal logic, wh...
详细信息
ISBN:
(纸本)9798400713477
Matching logic is the foundation of the K semantic environment for the specification of programming languages and automated generation of evaluators and verification tools. NLML is a formalization of nominal logic, which facilitates specification and reasoning about languages with binders, as a matching logictheory. Many properties of interest are inductive, and to prove them an induction principle modulo alpha-equality is required. In this paper we show that an alpha-structural Induction Principle for any nominal binding signature can be derived in an extension of NLML with set variables and fixpoint operators. We illustrate the use of the principle to prove properties of the lambda-calculus, the computation model underlying functional programming languages. the techniques generalize to other languages with binders. the proofs have been written in and generated using Metamath Zero.
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, they have now become the most prominent formalism to express process models in Proces...
详细信息
ISBN:
(纸本)9783031742088;9783031742095
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, they have now become the most prominent formalism to express process models in Process Mining, thanks to their formal semantics that enables automated analysis techniques. In this context, model repair is the task of aligning a process model with actual executions of the process. Current solutions to model repair do not allow for embedding domain knowledge, providing guarantees of rigor, and enforcing structural requirements at the same time. In this paper, we fill this gap by proposing an approach based on the Inductive logicprogramming system ILASP. We then implement our approach and perform an experimental evaluation, showing both its expressiveness and feasibility.
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 24 papers. the special focus in this conference is on logicprogramming and automatedreasoning. the topics include: Generalization and reuse of tactic proofs;program tactics and logic tactics;...
ISBN:
(纸本)9783540582168
the proceedings contain 24 papers. the special focus in this conference is on logicprogramming and automatedreasoning. the topics include: Generalization and reuse of tactic proofs;program tactics and logic tactics;proof plans for the correction of false conjectures;on the value of antiprenexing;implementing a finite-domain CLP-language on top of prolog;logical closures;higher-order rigid e-unification;program extraction in a logical framework setting;higher-order abstract syntax with induction in coq;towards efficient calculi for resource-oriented deductive planning;a logicprogramming framework for the abductive inference of intentions in cooperative dialogues;constraint logicprogramming in the sequent calculus;on conditional rewrite systems with extra variables and deterministic logic programs;a bottom-up reconstruction of the well-founded semantics for disjunctive logic programs;an efficient computation of the extended generalized closed world assumption by support-for-negation sets;multi-SLD resolution;on anti-links;a generic declarative diagnoser for normal logic programs;a kind of achievement by parts method and projection in temporal logicprogramming.
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and Nonmonotonic reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasonin...
ISBN:
(纸本)9783540632559
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and Nonmonotonic reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasoning with quantified Boolean constraints;complexity of only knowing;affordable classes of normal logic programs;automatedreasoning with non-monotonic logics;simulations between programs as cellular automata;separating disbeliefs from beliefs in autoepistemic reasoning;resolution for skeptical stable semantics;computing non-ground representations of stable models;industry needs for integrated information services;towards a systematic approach to representing knowledge in declarative logicprogramming;a paraconsistent semantics with contradiction support detection;a general framework for revising non-monotonic theories;modular logicprogramming and generalized quantifiers;programs with universally quantified embedded implications;generalized query answering in disjunctive deductive databases;towards a disjunctive logicprogramming system;a deductive system for non-monotonic reasoning;flexible solutions to complex problems;an implementation of the stable model and well-founded semantics for normal lp;an implementation platform for query-answering in default logics and the x-ray system, its implementation and evaluation.
暂无评论