Results 1 to 10 of about 6,452,641 (347)
Logic Programming with Default, Weak and Strict Negations [PDF]
arXiv, 2005 This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.
arxiv
Research on formal description and verification of automated trust negotiation
Tongxin xuebao, 2011 First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1 +3 more
doaj +2 more sources
A Proof Theoretic Approach to Failure in Functional Logic Programming [PDF]
Theory and Practice of Logic Programming, vol. 4, no. 1&2, 2004, 2004 How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic perspective. The starting point of our work is CRWL (Constructor based ReWriting Logic), a well established theoretical framework for functional logic programming, whose ...
arxiv
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming. [PDF]
Sci Rep, 2022 Abdallah M +3 more
europepmc +1 more source
A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems
Foundations of Management, 2014 The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
doaj +1 more source
ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on some events that contributed to the appearance and evolution of formal logic, logic programming and Prolog programming language.
USM ADMIN
doaj
Incorporating Inductions and Game Semantics into Logic Programming [PDF]
arXiv, 2015 Inductions and game semantics are two useful extensions to traditional logic programming. To be specific, inductions can capture a wider class of provable formulas in logic programming. Adopting game semantics can make logic programming more interactive. In this paper, we propose an execution model for a logic language with these features.
arxiv
ALPprolog --- A New Logic Programming Method for Dynamic Domains [PDF]
Theory and Practice of Logic Programming, 11(4-5), 451-468, 2011, 2011 Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.
arxiv