×

Found 793 Documents (Results 1–100)

100
MathJax

Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Lazy stream manipulation in prolog via backtracking: the case of 2P-Kt. (English) Zbl 07437055

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 407-420 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Deriving theorems in implicational linear logic, declaratively. (English) Zbl 07455712

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 110-123 (2020).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv Link

Introduction to logic programming. (English) Zbl 1451.68003

Synthesis Lectures on Artificial Intelligence and Machine Learning 44. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-724-9/hbk; 978-1-68173-722-5/pbk; 978-1-68173-723-2/ebook). xx, 199 p. (2020).
MSC:  68-01 68N17
PDF BibTeX XML Cite
Full Text: DOI

Lazy stream programming in prolog. (English) Zbl 07453116

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 224-237 (2019).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: arXiv Link

On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications. (English) Zbl 1429.68042

Kóczy, László T. (ed.) et al., Interactions between computational intelligence and mathematics. Part 2. Cham: Springer. Stud. Comput. Intell. 794, 1-17 (2019).
MSC:  68N17 03B52 68Q55
PDF BibTeX XML Cite
Full Text: DOI arXiv

Actor-like cP systems. (English) Zbl 07115222

Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 160-187 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Computational logic. Volume 1: Classical deductive computing with classical logic. (English) Zbl 1408.68001

Texts in Computing 19. London: College Publications (ISBN 978-1-84890-280-0/pbk). xviii, 464 p. (2018).
MSC:  68-01 03B70 68N17 68Q05 68Q15 68Q17 68Q42 68Q45 68T15
PDF BibTeX XML Cite

Datafun: a functional Datalog. (English) Zbl 1360.68312

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 214-227 (2016).
MSC:  68N18 68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI Link

kProbLog: an algebraic Prolog for kernel programming. (English) Zbl 1347.68290

Inoue, Katsumi (ed.) et al., Inductive logic programming. 25th international conference, ILP 2015, Kyoto, Japan, August 20–22, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-40565-0/pbk; 978-3-319-40566-7/ebook). Lecture Notes in Computer Science 9575. Lecture Notes in Artificial Intelligence, 152-165 (2016).
MSC:  68T05 68N17
PDF BibTeX XML Cite
Full Text: DOI Link

Executable relational specifications of polymorphic type systems using Prolog. (English) Zbl 1475.68052

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 109-125 (2016).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Language processing with Perl and Prolog. Theories, implementation, and application. 2nd ed. (English) Zbl 1302.68002

Cognitive Technologies. Berlin: Springer (ISBN 978-3-642-41463-3/hbk; 978-3-642-41464-0/ebook). xxv, 662 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Incremental tabling for query-driven propagation of logic program updates. (English) Zbl 1407.68085

McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 694-709 (2013).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI

Prolog and ASP inference under one roof. (English) Zbl 1405.68043

Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 148-160 (2013).
MSC:  68N17 68T20
PDF BibTeX XML Cite
Full Text: DOI Link

Logic programming in the 1970s. (English) Zbl 1405.68049

Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 11-22 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Deriving a fast inverse of the generalized Cantor \(n\)-tupling bijection. (English) Zbl 1281.68070

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 312-322, electronic only (2012).
MSC:  68N17 03B70
PDF BibTeX XML Cite
Full Text: DOI

Modular extensions for modular (logic) languages. (English) Zbl 1377.68058

Vidal, Germán (ed.), Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18–20, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32210-5/pbk). Lecture Notes in Computer Science 7225, 139-154 (2012).
MSC:  68N15 68N17
PDF BibTeX XML Cite
Full Text: DOI Link

Personal perspective on the development of logic programming based KR languages. (English) Zbl 1269.68093

Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 181-200 (2011).
MSC:  68T27 68N17 68T30
PDF BibTeX XML Cite

Correct reasoning about logic programs. (English) Zbl 1245.68055

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 280-283, electronic only (2011).
MSC:  68N17 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

CDAOstore: a phylogenetic repository using logic programming and web services. (English) Zbl 1245.68192

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 209-219, electronic only (2011).
MSC:  68T30 68N17 68P20
PDF BibTeX XML Cite
Full Text: DOI Link

Compiling Prolog to idiomatic Java. (English) Zbl 1245.68050

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 84-94, electronic only (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

DCGs for parsing and error handling. (English) Zbl 1232.68076

Pop, Horia F. (ed.) et al., 8th joint conference on mathematics and computer science, MaCS 2010, Komárno, Slovakia, July 14–17, 2010. Selected papers. Győr: NOVADAT (ISBN 978-963-9056-38-1/pbk). 153-162 (2011).
MSC:  68Q42 68N17
PDF BibTeX XML Cite

Computational logic and human thinking. How to be artificially intelligent. (English) Zbl 1230.68021

Cambridge: Cambridge University Press (ISBN 978-0-521-19482-2/hbk; 978-0-521-12336-5/pbk). xxii, 310 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI

Higher-order logic learning and \(\lambda\)Progol. (English) Zbl 1237.68207

Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 281-285, electronic only (2010).
MSC:  68T27 68T05 03B48 03B15 68N17
PDF BibTeX XML Cite
Full Text: DOI Link

Subsumer: a Prolog \(\theta\)-subsumption engine. (English) Zbl 1237.68180

Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 172-181, electronic only (2010).
MSC:  68T15 68N17
PDF BibTeX XML Cite
Full Text: DOI Link

Logic and logic programming. Vol. 1: Foundations. (Logik und Logikprogrammierung. Band 1: Grundlagen.) (German) Zbl 1190.68015

Kolleg Synchron. Heidelberg: Synchron Wissenschaftsverlag der Autoren (ISBN 978-3-935025-84-3/pbk). x, 342 p. (2009).
MSC:  68N17 03-01 68-01 68T15
PDF BibTeX XML Cite

A high-level implementation of non-deterministic, unrestricted, independent and-parallelism. (English) Zbl 1185.68152

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 651-666 (2008).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI Link

Towards description and optimization of abstract machines in an extension of Prolog. (English) Zbl 1196.68034

Puebla, Germán (ed.), Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12–14, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71409-5/pbk). Lecture Notes in Computer Science 4407, 77-93 (2007).
MSC:  68N17 68N20
PDF BibTeX XML Cite
Full Text: DOI Link

Implementation of BASELOG editor module for first-order predicate calculus formula transformation. (English) Zbl 1121.68103

Krejić, N. (ed.) et al., PRIM 2004. Proceedings of the XVI conference on applied mathematics, Budva, Montenegro, May 31–June 4, 2004. Novi Sad: Univ. of Novi Sad, Faculty of Science, Department of Mathematics and Informatics. 203-216 (2006).
MSC:  68T15 68T27 03B10 03B35
PDF BibTeX XML Cite

An introduction to language processing with Perl and Prolog. An outline of theories, implementation, and application with special consideration of English, French, and German. (English) Zbl 1096.68157

Cognitive Technologies. Berlin: Springer (ISBN 3-540-25031-X/hbk). xx, 513 p. (2006).
PDF BibTeX XML Cite
Full Text: DOI

Backtracking, interleaving, and terminating monad transformers (functional pearl). (English) Zbl 1302.68061

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 192-203 (2005).
MSC:  68N18 68N17
PDF BibTeX XML Cite
Full Text: DOI

Soundness and completeness of an “efficient” negation for Prolog. (English) Zbl 1111.68383

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 279-293 (2004).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI

Belief contraction, anti-formulae and resource overdraft. II: Deletion in resource unbounded logics. (English) Zbl 1084.03011

Rahman, Shahid (ed.) et al., Logic, epistemology, and the unity of science. Berlin: Springer (ISBN 1-4020-2807-5/hbk; 1-4020-2808-3/e-book). Logic, Epistemology, and the Unity of Science 1, 291-326 (2004).
MSC:  03B42 68T27 68T30
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software