Enfragmo: A System for Modelling and Solving Search Problems with Logic-Reference-Cited by-同舟云学术

Enfragmo: A System for Modelling and Solving Search Problems with Logic

Published:2012 Issue: Volume: Page:15-22
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Aavani Amir,Wu Xiongnan,Tasharrofi Shahab,Ternovska Eugenia,Mitchell David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-28717-6_4.pdf

Reference16 articles.

1. http://www.cs.sfu.ca/research/groups/mxp/

2. Mitchell, D., Ternovska, E.: A framework for representing and solving NP search problems. In: Proc. AAAI, pp. 430–435 (2005)

3. Fagin, R.: Generalized first-order spectra and polynomial-time recognizable sets. Complexity of Computation, 43–74 (1974)

4. Ternovska, E., Mitchell, D.: Declarative programming of search problems with built-in arithmetic. In: Proc. of IJCAI, pp. 942–947 (2009)

5. Tasharrofi, S., Ternovska, E.: Built-in arithmetic in knowledge representation languages. In: NonMon at 30 (Thirty Years of Nonmonotonic Reasoning) (October 2010)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Satune: synthesizing efficient SAT encoders;Proceedings of the ACM on Programming Languages;2020-11-13

2. First Order Logic with Inductive Definitions for Model-Based Problem Solving;AI Magazine;2016-10-07

3. Writing Declarative Specifications for Clauses;Logics in Artificial Intelligence;2016

4. Experimental Evaluation of a State-Of-The-Art Grounder;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014

5. Constraint Propagation for First-Order Logic and Inductive Definitions;ACM Transactions on Computational Logic;2013-08