Results 41 to 50 of about 3,597,563 (258)
Transformations of Logic Programs with Goals as Arguments
, 2002 We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data.
Pettorossi, Alberto, Proietti, Maurizio
core +5 more sources
Tabling with Sound Answer Subsumption [PDF]
, 2016 Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require an ...
Desouter, Benoit +3 more
core +3 more sources
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
, 2017 This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus.
A Stump +16 more
core +1 more source
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language [PDF]
, 2006 We present a natural language question/answering system to interface the University of Évora databases that uses clarification dialogs in order to clarify user questions.
D.H.D. Warren +9 more
core +1 more source
Journal of Conflict Resolution, 2018 We introduce the new, substantially updated, and revised version of the Dyadic Militarized Interstate Disputes (MIDs) dataset. We discuss the underlying logic of constructing dyadic MIDs and demonstrate that these operations generate significant ...
Z. Maoz +4 more
semanticscholar +1 more source
A FUZZY LOGIC APPROACH FOR DRONE CAPABILITY ANALYSIS ON DISASTER RISK ASSESSMENT [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2019 The paper proposes a fuzzy logic approach for drone capability analysis on disaster risk assessment. In particular, a fuzzy logic model is designed as a hierarchical system with several inputs and one output.
P. Zlateva, S. Hristozov, D. Velev
doaj +1 more source
A Type-Theoretic Approach to Structural Resolution [PDF]
, 2015 Structural resolution (or S-resolution) is a newly proposed alternative to SLD-resolution that allows a systematic separation of derivations into term-matching and unification steps.
Fu, Peng, Komendantskaya, Ekaterina
core
A new redundancy resolution for underwater vehicle–manipulator system considering payload
International Journal of Advanced Robotic Systems, 2017 For the motion coordination problem between the underwater vehicle and manipulator of the underwater vehicle–manipulator system, a new redundancy resolution method is proposed and investigated. The proposed method mainly has two parts: a fuzzy logic part
Yaoyao Wang +4 more
doaj +1 more source
Proof Relevant Corecursive Resolution
, 2015 Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood ...
D Ancona +14 more
core +1 more source
Performance of the EUDET-type beam telescopes
, 2016 Test beam measurements at the test beam facilities of DESY have been conducted to characterise the performance of the EUDET-type beam telescopes originally developed within the EUDET project.
Behr, J. +18 more
core +3 more sources