The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by...
1 KB (45 words) - 02:37, 27 April 2023
Giorgi Japaridze (category Articles with topics of unclear notability from June 2023)
provability logic". Journal of Logic and Computation 15(4) (2005), pages 447-463. G. Boolos, "The analytical completeness of Japaridze's polymodal logics". Annals...
26 KB (2,628 words) - 17:48, 5 August 2024
Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined;...
18 KB (2,913 words) - 21:34, 28 July 2024
Politics Journal of Intelligent and Robotic Systems Journal of Interconnection Networks Journal of Logic and Computation Journal of Logical and Algebraic Methods...
11 KB (1,012 words) - 21:53, 30 June 2024
problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language...
84 KB (10,738 words) - 10:35, 15 November 2024
Computational Linguistics (ACL). The journal includes articles, squibs and book reviews. It was established as the American Journal of Computational Linguistics...
3 KB (196 words) - 07:52, 12 September 2024
Abductive reasoning (redirect from Abduction (logic))
Roberto (August 1, 1998). "Abductive Analysis of Modular Logic Programs". Journal of Logic and Computation. 8 (4): 457–483. doi:10.1093/logcom/8.4.457....
76 KB (9,958 words) - 10:10, 13 November 2024
Logical framework (category Logic in computer science)
Samin Ishtiaq and David Pym. A Relevant Analysis of Natural Deduction. Journal of Logic and Computation 8, 809-838, 1998. Samin Ishtiaq and David Pym. Kripke...
7 KB (965 words) - 21:53, 4 November 2023
of Logic and Computation 2010 ff. International Logic Review, Bologna 1970 ff. Journal of Applied Non-Classical Logics, 1991 ff. Journal of Automated...
6 KB (712 words) - 20:26, 17 May 2023
Ray Turner (computer scientist) (category Academics of the University of Essex)
philosophy of computer science. He is on the editorial boards for the Journal of Logic and Computation and the Stanford Encyclopedia of Philosophy, for Logic, Computation...
4 KB (338 words) - 23:47, 27 May 2022
Journal of Logic and Computation, 18, 97–121 Westphal, J. and Hardy, J. (2005) Logic as a Vector System. Journal of Logic and Computation, 751-765 Westphal...
22 KB (3,789 words) - 20:54, 20 June 2024
true/false statements. In CoL, formulas represent computational problems. In classical logic, the validity of a formula depends only on its form, not on its...
19 KB (2,560 words) - 23:49, 16 May 2024
M. Castellan, Quantales and structural rules. Journal of Logic and Computation, 6 (1996), 709–724. K. Rosenthal, Quantales and Their Applications, Pitman...
4 KB (578 words) - 17:19, 20 October 2024
default logic. Artificial Intelligence, 70:167-237. G. Gottlob (1992). Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397-425...
21 KB (3,223 words) - 13:39, 28 February 2024
C., Kowalski, R.A. and Toni, F., 1992. Abductive logic programming. Journal of logic and computation, 2(6), pp.719-770. Poole, D.; Goebel, R.; Aleliunas...
18 KB (2,524 words) - 22:59, 1 February 2024
June 2014). "The enriched effect calculus: syntax and semantics" (PDF). Journal of Logic and Computation. 24 (3): 615–654. doi:10.1093/logcom/exs025. Ehrhard...
11 KB (1,441 words) - 20:49, 28 July 2024
logic in the 1960s and 1970s. In computer science, combinatory logic is used as a simplified model of computation, used in computability theory and proof...
41 KB (5,243 words) - 13:58, 25 August 2024
Frobenius anatomy of word meanings I: subject and object relative pronouns". Journal of Logic and Computation. 23 (6): 1293–1317. arXiv:1404.5278. doi:10...
20 KB (2,204 words) - 17:45, 2 April 2024
and Computation -- Journal of Mathematical Logic -- Journal of Philosophical Logic -- Journal of Symbolic Logic -- Judgment (mathematical logic) -- Judgmental...
21 KB (1,874 words) - 16:14, 23 September 2024
Blocks world (category History of artificial intelligence)
Cook (2003). "A Complete Axiomatization for Blocks World". Journal of Logic and Computation. 13 (4). Oxford University Press (OUP): 581--594. doi:10.1093/logcom/13...
5 KB (623 words) - 21:17, 5 November 2024
Artur d'Avila Garcez (category Academics of City, University of London)
in the field of computational logic and neural computation, in particular hybrid systems with application in software verification and information extraction...
2 KB (213 words) - 06:36, 6 May 2024
Journal of Logic and Computation. 22 (6): 1427–1452. arXiv:1009.3682. doi:10.1093/logcom/exr021. The notion of term graph encodes a refinement of inductively...
7 KB (872 words) - 02:05, 11 July 2024
Reversible computing (redirect from Reversible computation)
computing is any model of computation where the computational process, to some extent, is time-reversible. In a model of computation that uses deterministic...
19 KB (2,375 words) - 15:08, 30 August 2024
applications of Computational Intelligence include computer science, engineering, data analysis and bio-medicine. As explained before, fuzzy logic, one of CI's main...
20 KB (2,278 words) - 23:59, 13 November 2024
Dale Miller (academic) (category University of Pennsylvania faculty)
Editor-in-Chief of the ACM Transactions on Computational Logic from 2009 to 2015 and holds an editorial appointment on the Journal of Automated Reasoning. In 1973,...
13 KB (1,356 words) - 14:24, 16 September 2024
Informatics (redirect from History of informatics)
Foundations of Computer Science) European Symposium on Algorithms Fundamenta Informaticae Symposium on Discrete Algorithms Journal of Logic and Computation Bioinformatics...
34 KB (2,877 words) - 12:47, 23 October 2024
Theory of Computation", Journal of Symbolic Logic, 64 (1): 403, doi:10.2307/2586778. Information on Introduction to the Theory of Computation (by Michael...
990 bytes (87 words) - 19:48, 17 August 2022
the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer...
25 KB (2,681 words) - 13:33, 22 October 2024
evolutionary computation is a family of algorithms for global optimization inspired by biological evolution, and the subfield of artificial intelligence and soft...
26 KB (2,960 words) - 06:43, 10 September 2024
Computational mathematics is the study of the interaction between mathematics and calculations done by a computer. A large part of computational mathematics...
6 KB (564 words) - 19:36, 31 October 2024