Filters








49,849 Hits in 1.9 sec

An Ordered Logic Program Solver [chapter]

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2005 Lecture Notes in Computer Science  
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs.  ...  It turns out that the basic algorithm needs little modification in order to be able to compute the preferred answer sets of an ordered logic program.  ...  The Ordered Logic Program Solver (OLPS) System OLPS computes (a selection of) the proper preferred answer sets of a finite ordered program which is described using a sequence of module definitions and  ... 
doi:10.1007/978-3-540-30557-6_11 fatcat:4bvzusubvvcajczsnfld3gv3gy

LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report [article]

Stefano Germano, Francesco Calimeri, Eliana Palermiti
2017 arXiv   pre-print
In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.  ...  Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications.  ...  We are working to support more executors (web-services), logic-based languages and solvers (engines), in order to increase the audience of the project; the addition of an interactive tutorial could also  ... 
arXiv:1709.05341v1 fatcat:zbcdpvqtwzerbcit3tigh6xhye

Solving Fuzzy Answer Set Programs in Product Logic

Ivor Uhliarik
2017 Proceedings of the 9th International Joint Conference on Computational Intelligence  
In this work we investigate the methods used in state-of-the-art classical ASP solvers with the aim of designing a FASP solver for product propositional logic.  ...  In recent years, foundations have been laid for a turn in logic programming paradigms in continuous domains.  ...  Overall, to the best of our knowledge, there is no ad-hoc design or implementation of an exact FASP solver for programs with Gödel or product t-norms, i.e. the only existing solver is limited to stratified  ... 
doi:10.5220/0006518303670372 dblp:conf/ijcci/Uhliarik17 fatcat:h5soko66cnhcxeupg6g4sro75q

Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System [article]

Marco Maggesi, Massimo Nocentini
2020 arXiv   pre-print
Our tool is at the same time a mechanism for enabling the logic programming style for reasoning and computing in a theorem prover, and a framework for writing logic programs that produce solutions endowed  ...  We present an experimental system strongly inspired by miniKanren, implemented on top of the tactics mechanism of the HOL~Light theorem prover.  ...  It would be interesting to enhance our framework with more features: • Implement higher-order uni cation as Miller's higher-order pa erns, so that our system can enable higher-order logic programming in  ... 
arXiv:2007.04691v1 fatcat:7tdzkmdf55hnhdouaxlquwqcve

A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains

Rafael del Vado Vírseda
2011 Electronical Notes in Theoretical Computer Science  
using an instance of a generic Constraint Functional Logic Programming (CFLP ) scheme over a so-called higherorder coordination domain.  ...  constraint domain equipped with a sound and complete constraint solver for solving higher-order equations.  ...  Whereas higher-order programming is standard in functional programming, logic programming is in large part still tied to the first-order world.  ... 
doi:10.1016/j.entcs.2011.03.005 fatcat:yvvzdwi5jrg23ozbkdaoozcltm

Constraint-Logic Object-Oriented Programming with Free Arrays [article]

Jan C. Dageförde, Herbert Kuchen
2020 arXiv   pre-print
The ability to use logic variables, constraints, non-deterministic search, and object-oriented programming in an integrated way facilitates the combination of search-related program parts and other business  ...  Constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search.  ...  Constraint-logic Object-oriented Programming with Muli Our proposal is based on the constraint-logic object-oriented programming language Muli, which facilitates the integrated development of (business  ... 
arXiv:2008.13460v1 fatcat:fegp4rqarvdi3cnfjdbsioq2fi

Adding Constraints to Logic-based Formalisms [chapter]

Michael J. Maher
1999 The Logic Programming Paradigm  
Logic formalisms provide speci c reasoning facilities. We look at the e ect of adding constraints to existing logic-based executable formalisms, focussing on the semantics of the combined formalisms.  ...  We nd that in cases where this has been successful the operations of the formalism can be formulated logically and then extended easily to constraints.  ...  Acknowledgements I thank Krzysztof Apt for his comments on an early draft of this paper. This work was supported by the Australian Research Council under grant A49700519.  ... 
doi:10.1007/978-3-642-60085-2_13 fatcat:w2ex3wgucjekzdk7o5m7dgy2xe

Parametric polymorphism and semantic subtyping

Nils Gesbert, Pierre Genevès, Nabil Layaïda
2011 Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11  
This provides a powerful polymorphic type system aiming at maintaining full static type-safety of functional programs that manipulate trees, even with higher-order functions, which is particularly useful  ...  We model semantic subtyping in a tree logic and use a satisfiability-testing algorithm in order to decide subtyping. We report on practical experiments made with a full implementation of the system.  ...  Our logical modeling presented in Section 4 naturally follows the semantic subtyping approach as the underlying logic has a set-theoretic semantics.  ... 
doi:10.1145/2034773.2034789 dblp:conf/icfp/GesbertGL11 fatcat:yoc2ewbxyvez7brjci67ppzqgy

(Quantified) Horn Constraint Solving for Program Verification and Synthesis [article]

Andrey Rybalchenko
2014 arXiv   pre-print
To appear in Theory and Practice of Logic Programming (TPLP)  ...  seen as solvers of constraints in form of (quantified) Horn clauses over background logical theories.  ...  Constraint logic programming offers an effective tool for implementing solvers for quantified (Horn) implication constraints with well-foundedness, e.g., the HSF solver and its extensions Beyene et al  ... 
arXiv:1405.7739v1 fatcat:7gep4misozduxmvuoksvf6u4zm

SMT-based Constraint Answer Set Solver EZSMT+ [article]

Da Shen, Yuliya Lierler
2019 arXiv   pre-print
System EZSMT+ is a constraint answer set programming tool that utilizes satisfiability modulo theory solvers for search.  ...  Its theoretical foundation lies on generalizations of Niemela's characterization of answer sets of a logic program via so called level rankings.  ...  The cmodels(diff) system utilizes this fact and translates a logic program into an SMT formula so that any model of this formula corresponds to an answer set of the program.  ... 
arXiv:1905.03334v2 fatcat:7grxo5l5yzbljl763rxxfykjme

CSP solver for Safe PLC Controller: Application to manufacturing systems

R. Pichard, N. Ben Rabah, V. Carre-Menetrier, B. Riera
2016 IFAC-PapersOnLine  
The methodology is based on the use of safety constraints in order to get from a CSP solver all the safe outputs vectors at each PLC scan time.  ...  The methodology is based on the use of safety constraints in order to get from a CSP solver all the safe outputs vectors at each PLC scan time.  ...  (also called constraints) placed at the end of the PLC program which act as a logic filter in order to be robust to control errors.  ... 
doi:10.1016/j.ifacol.2016.07.638 fatcat:hj6bepjqczbebg5r7sixrxfib4

Systems, Engineering Environments, and Competitions

Yuliya Lierler, Marco Maratea, Francesco Ricca
2016 The AI Magazine  
First, we trace the history of the development of answer set solvers, by accounting for more than a dozen of them.  ...  Second, we discuss development tools and environments that facilitate the use of answer set programming technology in practical applications.  ...  This observation immediately leads to an idea that answer sets of a tight logic program can be found by running a SAT solver on clausified program's completion.  ... 
doi:10.1609/aimag.v37i3.2675 fatcat:huqvzr4nxfdpficyxbnjiknuze

Software engineering and automated deduction

Willem Visser, Nikolaj Bjørner, Natarajan Shankar
2014 Proceedings of the on Future of Software Engineering - FOSE 2014  
We focus on the underlying technology by which a number of these problems can be reduced to a logical form and answered using automated deduction.  ...  Logics and encodings are key to presenting these problems in an effective way: χ(M) can be directly encoded in linear time temporal logic or higher-order logics [99] .  ...  Yet most of the motivation for current SMT solvers originate from using automated logic engines for program analysis.  ... 
doi:10.1145/2593882.2593899 dblp:conf/icse/VisserBS14 fatcat:cdgga6syovar5hr4mfzjyyi4se

A survey of advances in epistemic logic program solvers [article]

Anthony P. Leclerc, Patrick Thor Kahl
2018 arXiv   pre-print
An epistemic logic program is a set of rules in this language. Infused with the research has been the desire for an efficient solver to enable the practical use of such programs for problem solving.  ...  In this paper, we report on the current state of development of epistemic logic program solvers.  ...  ASP solver calls) epistemic logic program solver called selp.  ... 
arXiv:1809.07141v1 fatcat:yigojmgufbc4lptwkahkknvpai

What is answer set programming to propositional satisfiability

Yuliya Lierler
2016 Constraints  
As a result, to find solutions to a problem it is sufficient to use an answer set solver on a corresponding program.  ...  Satisfiability solvers and answer set solvers are the software systems that find satisfying interpretations and answer sets for given propositional formulas and logic programs, respectively.  ...  To use an answer set solver to compute solutions of a search program, a logic program that captures specifications of a problem is designed.  ... 
doi:10.1007/s10601-016-9257-7 fatcat:iddfpr576be7lecypoykt3lysu
« Previous Showing results 1 — 15 out of 49,849 results