Find link

language: af: Afrikaans als: Alemannisch [Alemannic] am: አማርኛ [Amharic] an: aragonés [Aragonese] ar: العربية [Arabic] arz: مصرى [Egyptian Arabic] as: অসমীয়া [Assamese] ast: asturianu [Asturian] az: azərbaycanca [Azerbaijani] azb: تۆرکجه [Southern Azerbaijani] ba: башҡортса [Bashkir] bar: Boarisch [Bavarian] bat-smg: žemaitėška [Samogitian] be: беларуская [Belarusian] be-tarask: беларуская (тарашкевіца) [Belarusian (Taraškievica)] bg: български [Bulgarian] bn: বাংলা [Bengali] bpy: বিষ্ণুপ্রিয়া মণিপুরী [Bishnupriya Manipuri] br: brezhoneg [Breton] bs: bosanski [Bosnian] bug: ᨅᨔ ᨕᨘᨁᨗ [Buginese] ca: català [Catalan] ce: нохчийн [Chechen] ceb: Cebuano ckb: کوردیی ناوەندی [Kurdish (Sorani)] cs: čeština [Czech] cv: Чӑвашла [Chuvash] cy: Cymraeg [Welsh] da: dansk [Danish] de: Deutsch [German] el: Ελληνικά [Greek] en: English eo: Esperanto es: español [Spanish] et: eesti [Estonian] eu: euskara [Basque] fa: فارسی [Persian] fi: suomi [Finnish] fo: føroyskt [Faroese] fr: français [French] fy: Frysk [West Frisian] ga: Gaeilge [Irish] gd: Gàidhlig [Scottish Gaelic] gl: galego [Galician] gu: ગુજરાતી [Gujarati] he: עברית [Hebrew] hi: हिन्दी [Hindi] hr: hrvatski [Croatian] hsb: hornjoserbsce [Upper Sorbian] ht: Kreyòl ayisyen [Haitian] hu: magyar [Hungarian] hy: Հայերեն [Armenian] ia: interlingua [Interlingua] id: Bahasa Indonesia [Indonesian] io: Ido is: íslenska [Icelandic] it: italiano [Italian] ja: 日本語 [Japanese] jv: Basa Jawa [Javanese] ka: ქართული [Georgian] kk: қазақша [Kazakh] kn: ಕನ್ನಡ [Kannada] ko: 한국어 [Korean] ku: Kurdî [Kurdish (Kurmanji)] ky: Кыргызча [Kirghiz] la: Latina [Latin] lb: Lëtzebuergesch [Luxembourgish] li: Limburgs [Limburgish] lmo: lumbaart [Lombard] lt: lietuvių [Lithuanian] lv: latviešu [Latvian] map-bms: Basa Banyumasan [Banyumasan] mg: Malagasy min: Baso Minangkabau [Minangkabau] mk: македонски [Macedonian] ml: മലയാളം [Malayalam] mn: монгол [Mongolian] mr: मराठी [Marathi] mrj: кырык мары [Hill Mari] ms: Bahasa Melayu [Malay] my: မြန်မာဘာသာ [Burmese] mzn: مازِرونی [Mazandarani] nah: Nāhuatl [Nahuatl] nap: Napulitano [Neapolitan] nds: Plattdüütsch [Low Saxon] ne: नेपाली [Nepali] new: नेपाल भाषा [Newar] nl: Nederlands [Dutch] nn: norsk nynorsk [Norwegian (Nynorsk)] no: norsk bokmål [Norwegian (Bokmål)] oc: occitan [Occitan] or: ଓଡ଼ିଆ [Oriya] os: Ирон [Ossetian] pa: ਪੰਜਾਬੀ [Eastern Punjabi] pl: polski [Polish] pms: Piemontèis [Piedmontese] pnb: پنجابی [Western Punjabi] pt: português [Portuguese] qu: Runa Simi [Quechua] ro: română [Romanian] ru: русский [Russian] sa: संस्कृतम् [Sanskrit] sah: саха тыла [Sakha] scn: sicilianu [Sicilian] sco: Scots sh: srpskohrvatski / српскохрватски [Serbo-Croatian] si: සිංහල [Sinhalese] simple: Simple English sk: slovenčina [Slovak] sl: slovenščina [Slovenian] sq: shqip [Albanian] sr: српски / srpski [Serbian] su: Basa Sunda [Sundanese] sv: svenska [Swedish] sw: Kiswahili [Swahili] ta: தமிழ் [Tamil] te: తెలుగు [Telugu] tg: тоҷикӣ [Tajik] th: ไทย [Thai] tl: Tagalog tr: Türkçe [Turkish] tt: татарча/tatarça [Tatar] uk: українська [Ukrainian] ur: اردو [Urdu] uz: oʻzbekcha/ўзбекча [Uzbek] vec: vèneto [Venetian] vi: Tiếng Việt [Vietnamese] vo: Volapük wa: walon [Walloon] war: Winaray [Waray] yi: ייִדיש [Yiddish] yo: Yorùbá [Yoruba] zh: 中文 [Chinese] zh-min-nan: Bân-lâm-gú [Min Nan] zh-yue: 粵語 [Cantonese]

jump to random article

Longer titles found: ACM Transactions on Computational Logic (view), European Master Program in Computational Logic (view), European PhD Program in Computational Logic (view)

searching for Computational logic 173 found (222 total)

alternate case: computational logic

ACL2 (474 words) [view diff] case mismatch in snippet view article find links to article

ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order

Institute of Technology in 1970 and his Doctor of Philosophy (Ph.D.) in computational logic at the University of Edinburgh in Scotland in 1973. In addition,

Science, Applied Logic, Electronic Transactions on AI, and of the Computational Logic Newsletter. He is also advisory editor of the International Journal

algorithms, formal languages and automata, computational complexity, computational logic, distributed and parallel algorithms, computational geometry, learning

Boyer has published extensively, including the following books: A Computational Logic Handbook, with J S. Moore. Second Edition. Academic Press, London

the logic programming group. From 1987 to 2009 he was Professor of Computational Logic at Imperial College. Clark's key contributions have been in the field

State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vol. 1, no. 1, (July 2000), pages 77–111. In a single sentence Gurevich

Reasoning and Mathematical Practice. Computational Logic: Proceedings of the NATO Advanced Study Institute on Computational Logic, Held in Marktoberdorf, Germany

discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. It grew out of the

founder, and joint President of the International Federation of Computational Logic. He is also one of the four founders and council member for many

berkeley.edu. Retrieved January 8, 2023. Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Outstanding Contributions to Logic

science, and in collaboratively building AI systems on the basis of computational logic. Bringsjord believes that "the human mind will forever be superior

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Theory and Practice of Logic Programming, 2001 ff. Transactions on Computational Logic, ACM 2000 ff. Zeitschrift für allgemeine Wissenschaftstheorie, Wiesbaden

Alessandra Russo is a professor in Applied Computational Logic at the Department of Computing, Imperial College London. She obtained a Laurea in Computer

was on automatic proof methods. In 1972 he received the chair of Computational Logic (corresponding to the name of the new department, which succeeded

needed] and was formerly a director of the International Federation of Computational Logic Ltd. He has also co-chaired the Association for Computing Machinery

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

validation from multiple experiments. The discovery of this basic computational logic of the brain can have important implications for the development

and Multi-Agent Systems (JAAMAS), 16(3):214-248, Special Issue on Computational Logic-based Agents, (eds.) Francesca Toni and Jamal Bentahar, 2008. Mehdi

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

and John-Jules Charles Meyer. (2005). "Contextual Taxonomies" in Computational Logic in Multi-Agent Systems, pp. 33-51[dead link]. Downie, Richard D.

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

State Machines capture sequential algorithms. ACM Transactions on Computational Logic 1(1), 2000. N. Dershowitz and Y. Gurevich. A natural axiomatization

"Synthesis of programs in computational logic". In M. Bruynooghe and K.-K. Lau (ed.). Program Development in Computational Logic. LNCS. Vol. 3049. Springer

G. Governatori, and M. Maher (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255–287. v t e v t e

Woods, John (eds.). Handbook of the History of Logic, Volume 9: Computational Logic. Elsevier. ISBN 978-0-08-093067-1. Andrews, Peter B, Church's Type

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Press. 1989. ISBN 0-262-15038-7. Kakas, A. C.; Sadri, F. (2003). Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski

State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp. 77–111. Includes bibliography of 33

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

"Synthesis of programs in computational logic". In M. Bruynooghe and K.-K. Lau (ed.). Program Development in Computational Logic. LNCS. Vol. 3049. Springer

and John-Jules Charles Meyer. (2005). "Contextual Taxonomies" in Computational Logic in Multi-Agent Systems, pp. 33–51[dead link]. Kenneth Boulding; Elias

journal was initially published by the International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the Épisciences [fr]

GOAL programming language. Toni, Francesca; Torroni, Paolo (Eds.): Computational Logic in Multi-Agent Systems. 6th International Workshop, CLIMA VI 2005

Dies". The New York Times. ISSN 0362-4331. Retrieved 2024-04-24. Computational Logic and Set Theory. pp. vii. doi:10.1007/978-0-85729-808-9. "CHAPTER

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

unproductive tendency to wander down infinite chains of inductive proofs. A Computational Logic Handbook, R.S. Boyer and J S. Moore, Academic Press (2nd Edition)

Mascolo, Professor of Mobile Systems Lawrence Paulson, Professor of Computational Logic Other notable staff include Sue Sentance, Robert Watson, Markus Kuhn

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

(October 2000). "Search and strategies in OPL". ACM Transactions on Computational Logic. 1 (2): 285–320. CiteSeerX 10.1.1.17.836. doi:10.1145/359496.359529

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Wrightson (eds.). Automation of Reasoning (1) — Classical Papers on Computational Logic 1957–1966. Heidelberg: Springer. pp. 1–28. ISBN 978-3-642-81954-4

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

university, under Erasmus Mundus Programme: European Master Program in Computational Logic European Master on Software Engineering Since 2011, there has been

"Disunification: A Survey". In Jean-Louis Lassez; Gordon Plotkin (eds.). Computational Logic — Essays in Honor of Alan Robinson. MIT Press. pp. 322–359. Hubert

the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence

September 2020. Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 0-262-12156-5

Prospects of Program Synthesis". In Kakas, A.; Sadri, F. (eds.). Computational Logic: Logic Programming and Beyond; Essays in Honour of Robert A. Kowalski

Proof Assistant – a textbook by Gert Smolka used for a course in computational logic – see also course resources at Saarland University Tutorials Introduction

Comments References ACL2 1990 Robert Boyer, J Moore, Matt Kaufmann A Computational Logic for Applicative Common Lisp consists of a programming language, an

Efficient DOOD System Using a Tabling Logic Engine. Intl. Conference on Computational Logic, July 2000. G. Yang, Michael Kifer, and C. Zhao (2003), FLORA-2:

Transactions on Computational Logic 7 (2006), pages 331-362. G. Japaridze, "Propositional computability logic I". ACM Transactions on Computational Logic 7 (2006)

(2000). Abstract Syntax for Variable Binders: An Overview (PDF). Computational Logic - {CL} 2000. pp. 239–253. Archived from the original (PDF) on 2006-12-02

ISBN 978-1-4612-7515-2. Lassez, Jean-Louis; Plotkin, Gordon (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge, Massachusetts: MIT

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Intelligence: 27–140. CiteSeerX 10.1.1.56.7278. Sterling, Leon (2002). Computational Logic: Logic Programming and Beyond. Vol. 2407. pp. 17–26. doi:10.1007/3-540-45628-7_15

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

(with P. A. S. Veloso). Ultrafilter logic and generic reasoning. In Computational Logic and Proof Theory (Vienna, 1997), pp. 34–53, Lecture Notes in Computer

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

methods and notations available. Abstract State Machines (ASMs) A Computational Logic for Applicative Common Lisp (ACL2) Actor model Alloy ANSI/ISO C Specification

on 10 April 2022. Retrieved 15 February 2024. (By Frank Pfenning). DMOZ: Science: Math: Logic and Foundations: Computational Logic: Logical Frameworks

procedure for linear arithmetic over the integers and reals" (PDF). ACM Transactions on Computational Logic. 6 (3): 614–633. doi:10.1145/1071596.1071601.

record at WorldCat Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9

State Machines capture Sequential Algorithms, ACM Transactions on Computational Logic 1(1) (July 2000), 77–111. R. Stärk, J. Schmid and E. Börger, Java

"Abduction in Logic Programming". In Kakas, A.C.; Sadri, F. (eds.). Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski

on the journal Logics Associate Editor of the ACM Transactions on Computational Logic and member of the editorial boards of several other scientific journals

advocated logic for both computer and human problem solving and computational logic to improve human thinking. When products or processes fail, problem

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

"Criteria for Termination". In S. Hölldobler (ed.). Intellectics and Computational Logic (postscript). Dordrecht: Kluwer Academic Publishers. pp. 361–386

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

(Professor of AI & Neuroscience) Alessandra Russo (Professor of Applied Computational Logic) Alessio Lomuscio (Professor of Safe Artificial Intelligence) Anthony

Wrightson, editors, Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970, S. 466–483. Berlin, Heidelberg, 1983. A. van Wijngaarden

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Sasikanth Manipatruni is an American engineer and inventor in the fields of Computer engineering, Integrated circuit technology, Materials Engineering

Fallah-Seghrouchni; Henry Soldano (2004). "Learning in BDI Multi-agent Systems". Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science. Vol. 3259

Stefan (2015), "A SAT approach to clique-width", ACM Transactions on Computational Logic, 16 (3): 24:1–24:27, arXiv:1304.5498, doi:10.1145/2736696 Conder

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

communication sciences in 1966 with Frank Harary. He was in the Computational Logic Group at the University of Michigan and became assistant professor

Technology (TU Wien), Austria. Veith received his Diplom-Ingenieur in computational logic at TU Wien in 1994. He received his doctorate in computer science

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

classical logic with inductive definitions". International Conference on Computational Logic: 703–717. arXiv:cs/0003019. Bibcode:2000cs........3019D. "IDP-Z3"

Machines Capture Sequential Algorithms" (PDF). ACM Transactions on Computational Logic. 1 (1): 77–111. CiteSeerX 10.1.1.146.3017. doi:10.1145/343369.343384

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

academia, names include computer scientist Keith Clark, Professor of Computational Logic at Imperial College London (1987–2009); particle physicist Nigel

Schwartz; Domenico Cantone; Eugenio G. Omodeo; Martin Davis (2011). Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer Science

ISBN 978-1-4614-8854-5. Lawrence Paulson (1992). Set Theory as a Computational Logic (PDF). University of Cambridge Computer Laboratory. p. 14. Graham

see Model checking § First-order logic. Philosophy portal ACL2 — A Computational Logic for Applicative Common Lisp Aristotelian logic Equiconsistency Ehrenfeucht-Fraisse

University. 192. Reprinted in Lassez, J.-L.; Plotkin, G., eds. (1991). Computational logic : essays in honor of Alan Robinson. MIT Press. pp. 199–254. ISBN 978-0-262-12156-9

range of areas from basic computer science theory (algorithms and computational logic) to in depth analysis of data manipulation and use within technology

he was a postdoctoral researcher at the International Center for Computational Logic at TU Dresden. From 1999 to 2001 he was a PhD student at the Department

Stanford University. Boyer, Robert S.; Moore, J. Strother (2014). A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied

Inequality Constraints over the Real Numbers". ACM Transactions on Computational Logic. 7 (4): 723–748. arXiv:cs/0211016. doi:10.1145/1183278.1183282. S2CID 16781766

Cao; Torroni, Paolo; Torre, Leon van der; Woltran, Stefan (eds.). Computational logic in multi-agent systems: 14th International Workshop, CLIMA XIV, Coruña

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

321253. S2CID 14389185.; Here: sect.5.8, p.32 J.A. Robinson (1971). "Computational logic: The unification computation". Machine Intelligence. 6: 63–72. David

invention and development of rewriting as an expressive and intuitive computational logic and semantic framework for concurrent systems. In particular, the

ISBN 978-1-56881-205-2. Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9

(2014). "Degrees of unsolvability" (PDF). In Siekmann, Jörg H. (ed.). Computational Logic. Handbook of the History of Logic. Vol. 9. Amsterdam: Elsevier/North-Holland

Retrieved 6 July 2023. Kakas, Antonis C.; Sadri, Fariba (2003). Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

"Complexities of Horn Description Logics" (PDF). ACM Transactions on Computational Logic. 14 (1): 1–36. doi:10.1145/2422085.2422087. Retrieved 23 September

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Domain Specific Languages: A Logic Programming-Based Approach". Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert (Part I):

Computer Science, 1981. Reprinted in J.-L. Lassez, G. Plotkin (Eds.), Computational Logic, The MIT Press, Cambridge, MA, 1991, pp. 199–254. Shapiro, Ehud Y

(conditional) DAG-based Compact Representations". Italian Conference on Computational Logic: 67–81. Kapur, D.; Narendran, P. (1992-10-01). "Complexity of unification

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

data science and analytics, ocean and environmental informatics, computational logic, semantic Web, cognitive bias, semantic data frameworks, and solar

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Abstract computability and algebraic specification, ACM Transactions on Computational Logic, Volume 5 (2004), pp611–668. J A Bergstra and J V Tucker, The rational

Jan (2017-12-14). "Nested Weighted Automata". ACM Transactions on Computational Logic. 18 (4): 31:1–31:44. arXiv:1504.06117. doi:10.1145/3152769. ISSN 1529-3785

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Common Lisp has been and continues to be seen worldwide. ACL2 or "A Computational Logic for Applicative Common Lisp", an applicative (side-effect free) variant

Machines Capture Sequential Algorithms" (PDF). ACM Transactions on Computational Logic. 1 (1): 77–111. CiteSeerX 10.1.1.146.3017. doi:10.1145/343369.343384

321253. S2CID 14389185.; Here: sect.5.8, p.32 J.A. Robinson (1971). "Computational logic: The unification computation". Machine Intelligence. 6: 63–72. Bundy

Wrightson, editors, *The Automation of Reasoning I: Classical Papers on Computational Logic 1957–1966*, pages 424–483. Springer-Verlag, 1983 (Russian original

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

"Criteria for Termination". In S. Hölldobler (ed.). Intellectics and Computational Logic. Dordrecht: Kluwer Academic Publishers. pp. 361–386. Christoph Walther;

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

coherence construction for dependent type theories". ACM Transactions on Computational Logic. 16 (3): 1–31. arXiv:1411.1736. doi:10.1145/2754931. S2CID 14068103

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

a degree of self-awareness". techxplore.com. Leite, João (2005). Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

2016 Niwiński, Damian (2016): Contribution of Warsaw Logicians to Computational Logic. Axioms, Volume 5, Issue 16, 8 pages Golińska-Pilarek, Joanna (2016):

Pressbooks. Dix, J.; Fisher, Michael; Novak, Peter, eds. (2010). Computational logic in multi-agent systems: 10th international workshop, CLIMA X, Hamburg

man". The two had many discussions about the relationship between computational logic and everyday notions of truth. Wittgenstein's lectures from this

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Temur (2020). "Idempotent Anti-Unification". ACM Transactions on Computational Logic. 21 (2): 1–32. doi:10.1145/3359060. hdl:10.1145/3359060. S2CID 207861304

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Twentieth century; 8. The many-valued and nonmonotonic turn in logic; 9. Computational Logic; 10. Inductive logic; 11. Logic: A history of its central concepts;

Concrete Framework for Environment Machines". ACM Transactions on Computational Logic. 9 (1). Article #6: 1–30. doi:10.7146/brics.v13i3.21909. Rozowski

Concrete Framework for Environment Machines". ACM Transactions on Computational Logic. 9 (1). Article #6: 1–30. doi:10.7146/brics.v13i3.21909. Swierstra

commentary, in: Automation and Reasoning, vol 2, Classical papers on computational logic 1967–1970, Springer Verlag, 1983, pp. 159–200. Howard, William A

polynomial functions and represented one of the earliest applications of computational logic. Babbage, often regarded as the "father of the computer," envisioned

is no point-to-point wiring that carries a neural code through a computational logic circuit that delivers the result to the brain because firstly, the

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

descriptive complexity of subgraph isomorphism", ACM Transactions on Computational Logic, 20 (2): A9:1–A9:18, arXiv:1802.02143, doi:10.1145/3303881, MR 3942556

Igor (2008). "Alternating Timed Automata". ACM Transactions on Computational Logic. 9 (2): 1–26. arXiv:1208.5909. doi:10.1145/1342991.1342994. S2CID 12319

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Kontinen, Juha, 'Hierarchies in Dependence Logic'. ACM Transactions on Computational Logic, 2012. ‹See TfM›Enderton, Herbert B. (1970), 'Finite partially-ordered

Wrightson, editors, *The Automation of Reasoning I: Classical Papers on Computational Logic 1957–1966*, pages 424–483. Springer-Verlag, 1983 (Russian original

was shaped by rational decision theory and early conceptions of computational logic, hence limited largely to technology-centered design. Krippendorff

State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pages 77–111. Includes bibliography of

Concrete Framework for Environment Machines". ACM Transactions on Computational Logic. 9 (1). Article #6: 1–30. doi:10.7146/brics.v13i3.21909. Biernacka

Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra

Policriti, Alberto (2017-01-27). Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Springer. p. 384. ISBN 978-3-319-41842-1