Search Results - Logic programming DPLL procedure

The model evolution calculus as a first-order DPLL method

Authors: Baumgartner, Peter Tinelli, Cesare

Source: Artificial Intelligence. 172:591-632

Subject Terms: Darwin system, Sequent calculi, Keywords: Algorithms, Artificial Intelligence, Model generation, Logic programming DPLL procedure, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, First-order logic, Calculations, DPLL procedure

Splitting a Disjunctive Logic Program.

Authors: BEN-ELIYAHU-ZOHARY, RACHEL

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p507-521, 15p

Subject Terms: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science

A Generalized Search Construct for Imperative Languages to Facilitate Declarative Programming.

Authors: Smith, James Henderson, Chris Bansal, Ajay

Source: International Journal of Semantic Computing; Sep2022, Vol. 16 Issue 3, p315-338, 24p

Subject Terms: PROGRAMMING languages, LOGIC programming, SEARCH engines, SEARCH algorithms, FRACTIONAL programming, PROBLEM solving

Conflict-Driven Inductive Logic Programming.

Authors: LAW, MARK

Source: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p387-414, 28p

Subject Terms: INDUCTION (Logic), LOGIC programming

Solving SAT and SAT Modulo Theories: From an Abstract Davis--Putnam--Logemann--Loveland Procedure to DPLL(T).

Authors: Nieuwenhuis, Robert Oliveras, Albert Tinelli, Cesare

Source: Journal of the ACM; Nov2006, Vol. 53 Issue 6, p937-977, 41p

Subject Terms: ALGORITHMS, LEARNING, ALGEBRA, FOUNDATIONS of arithmetic, COMPREHENSION

Disjunctive answer set solvers via templates.

Authors: BROCHENIN, REMI MARATEA, MARCO LIERLER, YULIYA

Source: Theory & Practice of Logic Programming; Jul2016, Vol. 16 Issue 4, p465-497, 33p

Subject Terms: SET theory, COMPUTER programming, LOGIC programming, INFORMATION theory, INFORMATION technology

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Abstract answer set solvers with backjumping and learning.

Authors: LIERLER, YULIYA

Source: Theory & Practice of Logic Programming; 03/01/2011, Vol. 11 Issue 2/3, p135-169, 35p

Subject Terms: MACHINE learning, PSEUDOCODE (Computer program language), ALGORITHMS, COMPUTER programming, LOGIC programming, SYSTEMS design

Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling.

Authors: Subramani, K. Wojciechowski, Piotr

Source: Algorithmica; Feb2023, Vol. 85 Issue 2, p610-637, 28p

Subject Terms: INTEGERS, LOGIC programming, OPERATIONS research

The Mechanical Verification of a DPLL-Based Satisfiability Solver

Authors: Shankar, Natarajan Vaucher, Marc

Source: ENTCS: Electronic Notes in Theoretical Computer Science. Apr2011, Vol. 269, p3-17. 15p.

Subject Terms: Search algorithms, Backtrack programming, Software verification, Computer science, Automatic theorem proving, Mathematical logic

From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain.

Authors: Carbonell, Jaime G. Siekmann, Jörg Konev, Boris et al.

Source: Frontiers of Combining Systems (9783540746201); 2007, p28-46, 19p

SMT solving for the validation of B and Event-B models.

Authors: Schmidt, Joshua Leuschel, Michael

Source: International Journal on Software Tools for Technology Transfer; Dec2022, Vol. 24 Issue 6, p1043-1077, 35p

Subject Terms: CONSTRAINT programming, THEORY of constraints, LOGIC programming

Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.

Authors: Sutcliffe, Geoff Voronkov, Andrei Nieuwenhuis, Robert et al.

Source: Logic for Programming, Artificial Intelligence & Reasoning (9783540305538). 2005, p23-46. 24p.

Formal Correctness Proof for DPLL Procedure.

Authors: Marić, Filip Janičić, Predrag

Source: Informatica; 2010, Vol. 21 Issue 1, p57-78, 22p, 2 Graphs

Subject Terms: COMPUTER science, SIMULTANEOUS multithreading processors, LAMMA language, COMPUTER software correctness, INTEGRATED circuit verification

Monotonic Answer Set Programming.

Authors: GEBSER, MARTIN GHARIB, MONA MERCER, ROBERT et al.

Source: Journal of Logic & Computation; Aug2009, Vol. 19 Issue 4, p539-564, 26p

Subject Terms: LOGIC programming, COMPUTER software, ALGORITHMS, QUERYING (Computer science), COMPUTER programming

Satisfiability of Logic Programming Based on Radial Basis Function Neural Networks.

Authors: Hamadneh, Nawaf Sathasivam, Saratha Tilahun, Surafel Luleseged et al.

Source: AIP Conference Proceedings; 2014, Vol. 1605, p547-550, 4p

Subject Terms: LOGIC programming, RADIAL basis functions, ARTIFICIAL neural networks, BOOLEAN algebra, MATHEMATICAL formulas

Transition systems for model generators—A unifying approach.

Authors: LIERLER, YULIYA TRUSZCZYNSKI, MIROSLAW

Source: Theory & Practice of Logic Programming; Jul2011, Vol. 11 Issue 4/5, p629-646, 18p

Subject Terms: PROPOSITION (Logic), LOGIC programming, MATHEMATICAL models, SEMANTIC computing, COMPUTER programming, REASONING

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3.

Authors: BRUYNOOGHE, MAURICE BLOCKEEL, HENDRIK BOGAERTS, BART et al.

Source: Theory & Practice of Logic Programming; Nov2015, Vol. 15 Issue 6, p783-817, 35p, 4 Diagrams, 2 Charts, 4 Graphs

Subject Terms: MODELING languages (Computer science), MACHINE learning, PREDICATE (Logic), DATA mining, PROBLEM solving, FINITE model theory, LOGIC programming

Shared aggregate sets in answer set programming.

Authors: ALVIANO, MARIO DODARO, CARMINE MARATEA, MARCO et al.

Source: Theory & Practice of Logic Programming; May2018, Vol. 18 Issue 3/4, p301-318, 18p

Subject Terms: LOGIC programming, QUESTION answering systems, COMPUTER software, TRUTH functions (Mathematical logic), AGGREGATION (Statistics)

Logic + control: On program construction and verification.

Authors: DRABENT, WŁODZIMIERZ

Source: Theory & Practice of Logic Programming; Jan2018, Vol. 18 Issue 1, p1-29, 29p

Subject Terms: LOGIC programming, COMPUTER software correctness, COMPUTER programming, FUNCTIONAL programming (Computer science), SDL (Computer program language)