language:
Find link is a tool written by Edward Betts.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 175 found (223 total)
alternate case: Computational logic
ACL2
(482 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-orderJ Strother Moore (457 words) [view diff] exact match in snippet view article find links to article
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,Luís Moniz Pereira (197 words) [view diff] case mismatch in snippet view article find links to article
Science, Applied Logic, Electronic Transactions on AI, and of the Computational Logic Newsletter. He is also advisory editor of the International JournalInformation Processing Letters (520 words) [view diff] exact match in snippet view article find links to article
algorithms, formal languages and automata, computational complexity, computational logic, distributed and parallel algorithms, computational geometry, learningRobert S. Boyer (221 words) [view diff] case mismatch in snippet view article find links to article
Boyer has published extensively, including the following books: A Computational Logic Handbook, with J S. Moore. Second Edition. Academic Press, LondonKeith Clark (computer scientist) (1,023 words) [view diff] case mismatch in snippet view article
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 fieldExperimental Mathematics (journal) (509 words) [view diff] case mismatch in snippet view article
Reasoning and Mathematical Practice. Computational Logic: Proceedings of the NATO Advanced Study Institute on Computational Logic, Held in Marktoberdorf, GermanyPointer machine (1,556 words) [view diff] case mismatch in snippet view article find links to article
State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, vol. 1, no. 1, (July 2000), pages 77–111. In a single sentence GurevichLogic for Programming, Artificial Intelligence and Reasoning (243 words) [view diff] exact match in snippet view article find links to article
discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. It grew out of theDov Gabbay (750 words) [view diff] case mismatch in snippet view article find links to article
founder, and joint President of the International Federation of Computational Logic. He is also one of the four founders and council member for manyMartin Davis (mathematician) (1,305 words) [view diff] case mismatch in snippet view article
berkeley.edu. Retrieved January 8, 2023. Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Outstanding Contributions to LogicCurry (programming language) (1,954 words) [view diff] case mismatch in snippet view article
Alan (2000). "Computational Logic: Memories of the Past and Challenges for the Future". First International Conference on Computational Logic (CL 2000).Selmer Bringsjord (534 words) [view diff] exact match in snippet view article find links to article
science, and in collaboratively building AI systems on the basis of computational logic. Bringsjord believes that "the human mind will forever be superiorComputational mathematics (577 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAlessandra Russo (330 words) [view diff] case mismatch in snippet view article find links to article
Alessandra Russo is a professor in Applied Computational Logic at the Department of Computing, Imperial College London. She obtained a Laurea in ComputerList of logic journals (712 words) [view diff] case mismatch in snippet view article find links to article
Theory and Practice of Logic Programming, 2001 ff. Transactions on Computational Logic, ACM 2000 ff. Zeitschrift für allgemeine Wissenschaftstheorie, WiesbadenBernard Meltzer (computer scientist) (400 words) [view diff] case mismatch in snippet view article
was on automatic proof methods. In 1972 he received the chair of Computational Logic (corresponding to the name of the new department, which succeededJoe Z. Tsien (2,858 words) [view diff] exact match in snippet view article find links to article
validation from multiple experiments. The discovery of this basic computational logic of the brain can have important implications for the developmentMoshe Vardi (1,205 words) [view diff] case mismatch in snippet view article find links to article
needed] and was formerly a director of the International Federation of Computational Logic Ltd. He has also co-chaired the Association for Computing MachineryOperator algebra (545 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebra2APL (734 words) [view diff] case mismatch in snippet view article find links to article
and Multi-Agent Systems (JAAMAS), 16(3):214-248, Special Issue on Computational Logic-based Agents, (eds.) Francesca Toni and Jamal Bentahar, 2008. MehdiMilitary taxonomy (1,055 words) [view diff] case mismatch in snippet view article find links to article
and John-Jules Charles Meyer. (2005). "Contextual Taxonomies" in Computational Logic in Multi-Agent Systems, pp. 33-51[dead link]. Downie, Richard D.Geometric analysis (473 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraSociété de Mathématiques Appliquées et Industrielles (358 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraJapan Society for Industrial and Applied Mathematics (259 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraPoisson algebra (820 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraMathematical software (720 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraYuri Gurevich (836 words) [view diff] case mismatch in snippet view article find links to article
State Machines capture sequential algorithms. ACM Transactions on Computational Logic 1(1), 2000. N. Dershowitz and Y. Gurevich. A natural axiomatizationDefeasible logic (162 words) [view diff] case mismatch in snippet view article find links to article
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 eHigher-order logic (1,066 words) [view diff] case mismatch in snippet view article find links to article
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 TypeAutomated theorem proving (2,933 words) [view diff] exact match in snippet view article find links to article
"Synthesis of programs in computational logic". In M. Bruynooghe and K.-K. Lau (ed.). Program Development in Computational Logic. LNCS. Vol. 3049. SpringerInternational Council for Industrial and Applied Mathematics (799 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraStatistical field theory (487 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraStochastic calculus (620 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraSolver (531 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAlvey (543 words) [view diff] case mismatch in snippet view article find links to article
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. KowalskiValidated numerics (1,341 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAlgorithm (7,016 words) [view diff] case mismatch in snippet view article find links to article
State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp. 77–111. Includes bibliography of 33Program synthesis (3,099 words) [view diff] exact match in snippet view article find links to article
"Synthesis of programs in computational logic". In M. Bruynooghe and K.-K. Lau (ed.). Program Development in Computational Logic. LNCS. Vol. 3049. SpringerLogical Methods in Computer Science (271 words) [view diff] case mismatch in snippet view article find links to article
journal was initially published by the International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the Épisciences [fr]SETL (819 words) [view diff] case mismatch in snippet view article find links to article
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. "CHAPTERTaxonomy (6,859 words) [view diff] case mismatch in snippet view article find links to article
and John-Jules Charles Meyer. (2005). "Contextual Taxonomies" in Computational Logic in Multi-Agent Systems, pp. 33–51[dead link]. Kenneth Boulding; EliasMulti-Agent Programming Contest (567 words) [view diff] case mismatch in snippet view article find links to article
GOAL programming language. Toni, Francesca; Torroni, Paolo (Eds.): Computational Logic in Multi-Agent Systems. 6th International Workshop, CLIMA VI 2005Supersymmetry algebra (726 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraApplied mathematics (2,338 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraPotential theory (1,326 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAlma-0 (627 words) [view diff] case mismatch in snippet view article find links to article
(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.359529Superalgebra (1,687 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraNqthm (856 words) [view diff] case mismatch in snippet view article find links to article
inductive proofs. Boyer, Robert S.; Moore, J Strother (1998). A Computational Logic Handbook (2nd ed.). San Diego: Academic Press. ISBN 9780121229559Numerical methods for partial differential equations (1,942 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraEffective field theory (1,526 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAlgebra of physical space (1,560 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraDis-unification (357 words) [view diff] case mismatch in snippet view article find links to article
"Disunification: A Survey". In Jean-Louis Lassez; Gordon Plotkin (eds.). Computational Logic — Essays in Honor of Alan Robinson. MIT Press. pp. 322–359. HubertAlan Bundy (796 words) [view diff] case mismatch in snippet view article find links to article
the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial IntelligencePhilippa Gardner (424 words) [view diff] case mismatch in snippet view article find links to article
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-5Department of Computer Science and Technology, University of Cambridge (1,461 words) [view diff] case mismatch in snippet view article find links to article
Mascolo, Professor of Mobile Systems Lawrence Paulson, Professor of Computational Logic Other notable staff include Sue Sentance, Robert Watson, Markus KuhnComputational geometry (2,116 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAutomated reasoning (1,399 words) [view diff] case mismatch in snippet view article find links to article
Wrightson (eds.). Automation of Reasoning (1) — Classical Papers on Computational Logic 1957–1966. Heidelberg: Springer. pp. 1–28. ISBN 978-3-642-81954-4Free University of Bozen-Bolzano (1,299 words) [view diff] case mismatch in snippet view article find links to article
university, under Erasmus Mundus Programme: European Master Program in Computational Logic European Master on Software Engineering Since 2011, there has beenList of Lisp-family programming languages (562 words) [view diff] case mismatch in snippet view article find links to article
Comments References ACL2 1990 Robert Boyer, J Moore, Matt Kaufmann A Computational Logic for Applicative Common Lisp consists of a programming language, anRocq (1,882 words) [view diff] exact match in snippet view article find links to article
Proof Assistant – a textbook by Gert Smolka used for a course in computational logic – see also course resources at Saarland University Tutorials IntroductionGiorgi Japaridze (2,628 words) [view diff] case mismatch in snippet view article find links to article
Transactions on Computational Logic 7 (2006), pages 331-362. G. Japaridze, "Propositional computability logic I". ACM Transactions on Computational Logic 7 (2006)Melvin Fitting (316 words) [view diff] case mismatch in snippet view article find links to article
ISBN 978-1-4612-7515-2. Lassez, Jean-Louis; Plotkin, Gordon (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge, Massachusetts: MITFlora-2 (786 words) [view diff] case mismatch in snippet view article find links to article
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:Higher-order abstract syntax (1,074 words) [view diff] case mismatch in snippet view article find links to article
(2000). Abstract Syntax for Variable Binders: An Overview (PDF). Computational Logic - {CL} 2000. pp. 239–253. Archived from the original (PDF) on 2006-12-02Prolog (8,098 words) [view diff] case mismatch in snippet view article find links to article
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_15Vector calculus (2,135 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraDiscrete mathematics (2,772 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraInductive programming (2,549 words) [view diff] case mismatch in snippet view article find links to article
Prospects of Program Synthesis". In Kakas, A.; Sadri, F. (eds.). Computational Logic: Logic Programming and Beyond; Essays in Honour of Robert A. KowalskiWalter Carnielli (1,075 words) [view diff] case mismatch in snippet view article find links to article
(with P. A. S. Veloso). Ultrafilter logic and generic reasoning. In Computational Logic and Proof Theory (Vienna, 1997), pp. 34–53, Lecture Notes in ComputerApproximation theory (2,304 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraProbability theory (3,568 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraWeak Büchi automaton (297 words) [view diff] case mismatch in snippet view article find links to article
procedure for linear arithmetic over the integers and reals" (PDF). ACM Transactions on Computational Logic. 6 (3): 614–633. doi:10.1145/1071596.1071601.Perturbation theory (2,959 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAutomata theory (3,851 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAbstract state machine (1,163 words) [view diff] case mismatch in snippet view article find links to article
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, JavaValentin Goranko (471 words) [view diff] case mismatch in snippet view article find links to article
on the journal Logics Associate Editor of the ACM Transactions on Computational Logic and member of the editorial boards of several other scientific journalsJean-Pierre Jouannaud (615 words) [view diff] case mismatch in snippet view article find links to article
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-9Abductive logic programming (2,524 words) [view diff] case mismatch in snippet view article find links to article
"Abduction in Logic Programming". In Kakas, A.C.; Sadri, F. (eds.). Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. KowalskiProof assistant (1,206 words) [view diff] case mismatch in snippet view article find links to article
on 10 April 2022. Retrieved 15 February 2024. (By Frank Pfenning). DMOZ: Science: Math: Logic and Foundations: Computational Logic: Logical FrameworksDecision theory (3,216 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraProblem solving (9,928 words) [view diff] exact match in snippet view article find links to article
advocated logic for both computer and human problem solving and computational logic to improve human thinking. When products or processes fail, problemMultivariable calculus (2,369 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraSocial choice theory (3,035 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraTopological quantum field theory (3,764 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraMathematical analysis (4,391 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraFormal methods (3,642 words) [view diff] case mismatch in snippet view article find links to article
methods and notations available. Abstract State Machines (ASMs) A Computational Logic for Applicative Common Lisp (ACL2) Actor model Alloy ANSI/ISO C SpecificationParticle physics and representation theory (2,677 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraGeometric calculus (3,338 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraGrigori Tseitin (334 words) [view diff] case mismatch in snippet view article find links to article
Wrightson, editors, Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970, S. 466–483. Berlin, Heidelberg, 1983. A. van WijngaardenSasikanth Manipatruni (7,193 words) [view diff] no match in snippet view article find links to article
Sasikanth Manipatruni is an American engineer and inventor in the fields of Computer engineering, Integrated circuit technology, Materials EngineeringDepartment of Computing, Imperial College London (2,355 words) [view diff] case mismatch in snippet view article find links to article
(Professor of AI & Neuroscience) Alessandra Russo (Professor of Applied Computational Logic) Alessio Lomuscio (Professor of Safe Artificial Intelligence) AnthonyCoding theory (3,712 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraThe Unreasonable Effectiveness of Mathematics in the Natural Sciences (2,289 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraTermination analysis (1,730 words) [view diff] case mismatch in snippet view article find links to article
"Criteria for Termination". In S. Hölldobler (ed.). Intellectics and Computational Logic (postscript). Dordrecht: Kluwer Academic Publishers. pp. 361–386Numerical linear algebra (2,769 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraBelief–desire–intention software model (2,132 words) [view diff] case mismatch in snippet view article find links to article
Fallah-Seghrouchni; Henry Soldano (2004). "Learning in BDI Multi-agent Systems". Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science. Vol. 3259Helmut Veith (630 words) [view diff] exact match in snippet view article find links to article
Technology (TU Wien), Austria. Veith received his Diplom-Ingenieur in computational logic at TU Wien in 1994. He received his doctorate in computer scienceFolkman graph (1,392 words) [view diff] case mismatch in snippet view article find links to article
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 ConderStephen T. Hedetniemi (280 words) [view diff] case mismatch in snippet view article find links to article
communication sciences in 1966 with Frank Harary. He was in the Computational Logic Group at the University of Michigan and became assistant professorGlobal optimization (2,097 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraMathematical physics (5,511 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraFO(.) (386 words) [view diff] case mismatch in snippet view article
classical logic with inductive definitions". International Conference on Computational Logic: 703–717. arXiv:cs/0003019. Bibcode:2000cs........3019D. "IDP-Z3"Knuth–Bendix completion algorithm (2,412 words) [view diff] case mismatch in snippet view article find links to article
Schwartz; Domenico Cantone; Eugenio G. Omodeo; Martin Davis (2011). Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Springer ScienceMathematical sociology (5,035 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraHatfield College, Durham (9,148 words) [view diff] case mismatch in snippet view article find links to article
academia, names include computer scientist Keith Clark, Professor of Computational Logic at Imperial College London (1987–2009); particle physicist NigelField (physics) (4,401 words) [view diff] exact match in snippet view article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraCantor's theorem (3,735 words) [view diff] case mismatch in snippet view article find links to article
ISBN 978-1-4614-8854-5. Lawrence Paulson (1992). Set Theory as a Computational Logic (PDF). University of Cambridge Computer Laboratory. p. 14. GrahamSupersymmetric quantum mechanics (3,017 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraClassical field theory (3,876 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraFinite-state machine (4,529 words) [view diff] case mismatch in snippet view article find links to article
Machines Capture Sequential Algorithms" (PDF). ACM Transactions on Computational Logic. 1 (1): 77–111. CiteSeerX 10.1.1.146.3017. doi:10.1145/343369.343384Pascal Hitzler (1,153 words) [view diff] case mismatch in snippet view article find links to article
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 DepartmentComputer and information science (1,584 words) [view diff] exact match in snippet view article find links to article
range of areas from basic computer science theory (algorithms and computational logic) to in depth analysis of data manipulation and use within technologyFirst-order logic (12,955 words) [view diff] case mismatch in snippet view article find links to article
see Model checking § First-order logic. Philosophy portal ACL2 — A Computational Logic for Applicative Common Lisp Aristotelian logic Equiconsistency Ehrenfeucht-FraisseInductive logic programming (4,248 words) [view diff] exact match in snippet view article find links to article
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-9Issue-based information system (3,123 words) [view diff] exact match in snippet view article find links to article
Cao; Torroni, Paolo; Torre, Leon van der; Woltran, Stefan (eds.). Computational logic in multi-agent systems: 14th International Workshop, CLIMA XIV, CoruñaTopological string theory (2,687 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraJose Meseguer (999 words) [view diff] exact match in snippet view article find links to article
invention and development of rewriting as an expressive and intuitive computational logic and semantic framework for concurrent systems. In particular, theDecidability of first-order theories of the real numbers (503 words) [view diff] case mismatch in snippet view article find links to article
Inequality Constraints over the Real Numbers". ACM Transactions on Computational Logic. 7 (4): 723–748. arXiv:cs/0211016. doi:10.1145/1183278.1183282. S2CID 16781766Woody Bledsoe (913 words) [view diff] case mismatch in snippet view article find links to article
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-9Rule of inference (7,327 words) [view diff] case mismatch in snippet view article find links to article
Stanford University. Boyer, Robert S.; Moore, J. Strother (2014). A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and AppliedComputability theory (6,414 words) [view diff] case mismatch in snippet view article find links to article
(2014). "Degrees of unsolvability" (PDF). In Siekmann, Jörg H. (ed.). Computational Logic. Handbook of the History of Logic. Vol. 9. Amsterdam: Elsevier/North-HollandUnification (computer science) (7,377 words) [view diff] exact match in snippet view article
321253. S2CID 14389185.; Here: sect.5.8, p.32 J.A. Robinson (1971). "Computational logic: The unification computation". Machine Intelligence. 6: 63–72. DavidClifford analysis (3,393 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraNumerical methods for ordinary differential equations (3,916 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraGopal Gupta (computer scientist) (1,008 words) [view diff] case mismatch in snippet view article
Domain Specific Languages: A Logic Programming-Based Approach". Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert (Part I):Philosophy (17,452 words) [view diff] case mismatch in snippet view article find links to article
Retrieved 6 July 2023. Kakas, Antonis C.; Sadri, Fariba (2003). Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. KowalskiWeb Ontology Language (4,300 words) [view diff] case mismatch in snippet view article find links to article
"Complexities of Horn Description Logics" (PDF). ACM Transactions on Computational Logic. 14 (1): 1–36. doi:10.1145/2422085.2422087. Retrieved 23 SeptemberConstraint satisfaction problem (3,364 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraSociety for Industrial and Applied Mathematics (2,253 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraMachine learning (15,562 words) [view diff] case mismatch in snippet view article find links to article
Computer Science, 1981. Reprinted in J.-L. Lassez, G. Plotkin (Eds.), Computational Logic, The MIT Press, Cambridge, MA, 1991, pp. 199–254. Shapiro, Ehud YGauge theory (6,839 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraDeepak Kapur (1,936 words) [view diff] case mismatch in snippet view article find links to article
(conditional) DAG-based Compact Representations". Italian Conference on Computational Logic: 67–81. Kapur, D.; Narendran, P. (1992-10-01). "Complexity of unificationPeter Fox (professor) (1,176 words) [view diff] exact match in snippet view article
data science and analytics, ocean and environmental informatics, computational logic, semantic Web, cognitive bias, semantic data frameworks, and solarJohn V. Tucker (1,599 words) [view diff] case mismatch in snippet view article find links to article
Abstract computability and algebraic specification, ACM Transactions on Computational Logic, Volume 5 (2004), pp611–668. J A Bergstra and J V Tucker, The rationalConformal field theory (7,037 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraLisp (programming language) (10,027 words) [view diff] case mismatch in snippet view article
Common Lisp has been and continues to be seen worldwide. ACL2 or "A Computational Logic for Applicative Common Lisp", an applicative (side-effect free) variantAnatol Slissenko (1,869 words) [view diff] case mismatch in snippet view article find links to article
Wrightson, editors, *The Automation of Reasoning I: Classical Papers on Computational Logic 1957–1966*, pages 424–483. Springer-Verlag, 1983 (Russian originalHamiltonian mechanics (9,323 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraChristoph Walther (1,363 words) [view diff] case mismatch in snippet view article find links to article
"Criteria for Termination". In S. Hölldobler (ed.). Intellectics and Computational Logic. Dordrecht: Kluwer Academic Publishers. pp. 361–386. Christoph Walther;Weighted automaton (1,691 words) [view diff] case mismatch in snippet view article find links to article
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-3785Supersymmetry (7,569 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraInduction puzzles (6,738 words) [view diff] case mismatch in snippet view article find links to article
a degree of self-awareness". techxplore.com. Leite, João (2005). Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, LisbonEvaluation strategy (5,225 words) [view diff] exact match in snippet view article find links to article
321253. S2CID 14389185.; Here: sect.5.8, p.32 J.A. Robinson (1971). "Computational logic: The unification computation". Machine Intelligence. 6: 63–72. BundyString theory (15,298 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAnalytical mechanics (5,764 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraChurch–Turing thesis (6,849 words) [view diff] case mismatch in snippet view article find links to article
Machines Capture Sequential Algorithms" (PDF). ACM Transactions on Computational Logic. 1 (1): 77–111. CiteSeerX 10.1.1.146.3017. doi:10.1145/343369.343384Homotopy type theory (4,642 words) [view diff] case mismatch in snippet view article find links to article
coherence construction for dependent type theories". ACM Transactions on Computational Logic. 16 (3): 1–31. arXiv:1411.1736. doi:10.1145/2754931. S2CID 14068103Renormalization group (7,080 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraClifford algebra (9,287 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAndrzej Grzegorczyk (2,886 words) [view diff] case mismatch in snippet view article find links to article
2016 Niwiński, Damian (2016): Contribution of Warsaw Logicians to Computational Logic. Axioms, Volume 5, Issue 16, 8 pages Golińska-Pilarek, Joanna (2016):Ludwig Wittgenstein (23,027 words) [view diff] exact match in snippet view article find links to article
man". The two had many discussions about the relationship between computational logic and everyday notions of truth. Wittgenstein's lectures from thisLagrangian mechanics (15,276 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraPropositional logic (11,449 words) [view diff] exact match in snippet view article find links to article
Pressbooks. Dix, J.; Fisher, Michael; Novak, Peter, eds. (2010). Computational logic in multi-agent systems: 10th international workshop, CLIMA X, HamburgSpacetime algebra (7,335 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraAnti-unification (3,058 words) [view diff] case mismatch in snippet view article find links to article
Temur (2020). "Idempotent Anti-Unification". ACM Transactions on Computational Logic. 21 (2): 1–32. doi:10.1145/3359060. hdl:10.1145/3359060. S2CID 207861304CEK Machine (1,870 words) [view diff] case mismatch in snippet view article find links to article
Concrete Framework for Environment Machines". ACM Transactions on Computational Logic. 9 (1). Article #6: 1–30. doi:10.7146/brics.v13i3.21909. RozowskiHistory of logic (13,255 words) [view diff] case mismatch in snippet view article find links to article
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;Krivine machine (1,911 words) [view diff] case mismatch in snippet view article find links to article
Concrete Framework for Environment Machines". ACM Transactions on Computational Logic. 9 (1). Article #6: 1–30. doi:10.7146/brics.v13i3.21909. SwierstraStochastic process (18,657 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraCurry–Howard correspondence (6,372 words) [view diff] exact match in snippet view article find links to article
commentary, in: Automation and Reasoning, vol 2, Classical papers on computational logic 1967–1970, Springer Verlag, 1983, pp. 159–200. Howard, William ANeural Darwinism (7,274 words) [view diff] exact match in snippet view article find links to article
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, theHistory of computing hardware (17,724 words) [view diff] exact match in snippet view article find links to article
polynomial functions and represented one of the earliest applications of computational logic. Babbage, often regarded as the "father of the computer," envisionedSupersymmetric theory of stochastic dynamics (5,970 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraPerturbation theory (quantum mechanics) (15,991 words) [view diff] exact match in snippet view article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraLogic of graphs (5,029 words) [view diff] case mismatch in snippet view article find links to article
descriptive complexity of subgraph isomorphism", ACM Transactions on Computational Logic, 20 (2): A9:1–A9:18, arXiv:1802.02143, doi:10.1145/3303881, MR 3942556Alternating timed automaton (1,911 words) [view diff] case mismatch in snippet view article find links to article
Igor (2008). "Alternating Timed Automata". ACM Transactions on Computational Logic. 9 (2): 1–26. arXiv:1208.5909. doi:10.1145/1342991.1342994. S2CID 12319Gauge theory (mathematics) (11,468 words) [view diff] exact match in snippet view article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraDependence logic (4,500 words) [view diff] case mismatch in snippet view article find links to article
Kontinen, Juha, 'Hierarchies in Dependence Logic'. ACM Transactions on Computational Logic, 2012. Enderton, Herbert B. (1970), 'Finite partially-ordered quantifiers'Nikolai Shanin (1,580 words) [view diff] case mismatch in snippet view article find links to article
Wrightson, editors, *The Automation of Reasoning I: Classical Papers on Computational Logic 1957–1966*, pages 424–483. Springer-Verlag, 1983 (Russian originalThe Semantic Turn (4,309 words) [view diff] exact match in snippet view article find links to article
was shaped by rational decision theory and early conceptions of computational logic, hence limited largely to technology-centered design. KrippendorffAlgorithm characterizations (8,991 words) [view diff] case mismatch in snippet view article find links to article
State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pages 77–111. Includes bibliography ofRefocusing (semantics) (2,786 words) [view diff] case mismatch in snippet view article
Concrete Framework for Environment Machines". ACM Transactions on Computational Logic. 9 (1). Article #6: 1–30. doi:10.7146/brics.v13i3.21909. BiernackaDeep backward stochastic differential equation method (4,113 words) [view diff] exact match in snippet view article find links to article
Computational geometry Constraint satisfaction Constraint programming Computational logic Cryptography Information theory Statistics Discrete Computer algebraGlossary of logic (30,237 words) [view diff] case mismatch in snippet view article find links to article
Policriti, Alberto (2017-01-27). Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Springer. p. 384. ISBN 978-3-319-41842-1