Find link

language:

Find link is a tool written by Edward Betts.

searching for Journal of Logic and Computation 31 found (63 total)

alternate case: journal of Logic and Computation

Giorgi Japaridze (2,628 words) [view diff] exact match in snippet view article find links to article

of the closed fragment of Japaridze's provability logic". Journal of Logic and Computation 15(4) (2005), pages 447-463. G. Boolos, "The analytical completeness

Type theory with records (342 words) [view diff] exact match in snippet view article find links to article

Robin (2005). "Records and Record Types in Semantic Theory". Journal of Logic and Computation. 15 (2): 99–112. doi:10.1093/logcom/exi004. Cooper, Robin (2010)

Logical framework (965 words) [view diff] exact match in snippet view article find links to article

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 Resource

Categorical quantum mechanics (2,203 words) [view diff] exact match in snippet view article find links to article

of word meanings I: subject and object relative pronouns". Journal of Logic and Computation. 23 (6): 1293–1317. arXiv:1404.5278. doi:10.1093/logcom/ext044

Vector logic (3,789 words) [view diff] exact match in snippet view article find links to article

gates. 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

AgentSpeak (492 words) [view diff] exact match in snippet view article find links to article

A.Rao and M.Georgeff. Decision Procedures for BDI Logics. Journal of Logic and Computation 8(3), 293–343 (1998). Mark d'Inverno, Michael Luck: Engineering

Blocks world (624 words) [view diff] exact match in snippet view article find links to article

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

Harald Ganzinger (179 words) [view diff] exact match in snippet view article find links to article

Selection and Simplification, Leo Bachmair and Harald Ganzinger, Journal of Logic and Computation 3(4), 1994. Personal Homepage of Harald Ganzinger — Version

Director string (677 words) [view diff] exact match in snippet view article find links to article

Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting." Journal of Logic and Computation 15(2), pages 201-218, 2005.

Abstract semantic graph (872 words) [view diff] exact match in snippet view article find links to article

Richard (2011). "An abstract view on syntax with sharing". Journal of Logic and Computation. 22 (6): 1427–1452. arXiv:1009.3682. doi:10.1093/logcom/exr021

Georg Gottlob (1,048 words) [view diff] exact match in snippet view article find links to article

G. (1992). "Complexity Results for Nonmonotonic Logics". Journal of Logic and Computation. 2 (3): 397–425. doi:10.1093/logcom/2.3.397. Eiter, T.; Gottlob

MV-algebra (1,653 words) [view diff] exact match in snippet view article find links to article

Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups. Journal of Logic and Computation (2014). doi:10.1093/logcom/exu023 Olivia Caramello, Anna Carla

Walter Carnielli (1,075 words) [view diff] exact match in snippet view article find links to article

Paraconsistent Machines and their Relation to Quantum Computing.. Journal of Logic and Computation Volume 20, Issue 2, 2010, pages 573-595. R. L. Epstein and

Japaridze's polymodal logic (1,202 words) [view diff] exact match in snippet view article find links to article

of the closed fragment of Japaridze's provability logic". Journal of Logic and Computation 15 (2005), No 4, pp. 447–463. L. Beklemishev, "Kripke semantics

Richard Neapolitan (971 words) [view diff] exact match in snippet view article find links to article

– Theory and Algorithms, by Richard E. Neapolitan" (PDF). Journal of Logic and Computation. 5 (4): 547–549. doi:10.1093/logcom/5.4.547. S2CID 5473785

Sergei N. Artemov (943 words) [view diff] exact match in snippet view article find links to article

(2005). "Introducing justification into epistemic logic". Journal of Logic and Computation. 15 (6). Oxford University Press: 1059–1073. doi:10.1093/logcom/exi053

Trevor Bench-Capon (649 words) [view diff] exact match in snippet view article find links to article

practical argument using value-based argumentation frameworks." Journal of Logic and Computation 13, no. 3 (2003): 429-448. Bench-Capon, Trevor, and Giovanni

Call-by-push-value (1,447 words) [view diff] exact match in snippet view article find links to article

"The enriched effect calculus: syntax and semantics" (PDF). Journal of Logic and Computation. 24 (3): 615–654. doi:10.1093/logcom/exs025. Ehrhard, Thomas

Anatol Slissenko (1,869 words) [view diff] exact match in snippet view article find links to article

(2006). "A logic of probability with decidable model-checking". Journal of Logic and Computation. 16 (4): 461–487. Beauquier, D.; Slissenko, A. (2002). "A first

Default logic (3,222 words) [view diff] exact match in snippet view article find links to article

Gottlob (1992). Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397-425. G. Gottlob (1995). Translating default logic into

Workshop on Logic, Language, Information and Computation (2,677 words) [view diff] exact match in snippet view article find links to article

(October 2002). (Preface doi:10.1016/S1571-0661(05)80556-0) Journal of Logic and Computation, 27th Workshop on Logic, Language, Information and Computation

Type theory (8,236 words) [view diff] exact match in snippet view article find links to article

Robin (2005). "Records and Record Types in Semantic Theory". Journal of Logic and Computation. 15 (2): 99–112. doi:10.1093/logcom/exi004. Cooper, Robin (2010)

Multimodal interaction (5,160 words) [view diff] exact match in snippet view article find links to article

(1994). "Actions and events in interval temporal logic", Journal of Logic and Computation, Vol. 4, No. 5, pp.531–579 Bellik, Y. (2001). "Technical requirements

Metaclass (knowledge representation) (1,692 words) [view diff] exact match in snippet view article

(2007). "On the properties of metamodeling in OWL" (PDF). Journal of Logic and Computation. 17 (4): 617–637. doi:10.1093/logcom/exm027. Integrated metamodeling

Abductive reasoning (9,972 words) [view diff] exact match in snippet view article find links to article

1, 1998). "Abductive Analysis of Modular Logic Programs". Journal of Logic and Computation. 8 (4): 457–483. doi:10.1093/logcom/8.4.457. ISSN 0955-792X

Lambda calculus (12,116 words) [view diff] exact match in snippet view article find links to article

Representation of Free Variables in Higher-order Rewriting" (PDF). Journal of Logic and Computation. 15 (2): 201–218. doi:10.1093/logcom/exi010. Accattoli, Beniamino;

Belief merging (1,921 words) [view diff] exact match in snippet view article find links to article

"Merging Information Under Constraints: A Logical Framework". Journal of Logic and Computation. 12 (5): 773–808. doi:10.1093/logcom/12.5.773. Konieczny, Sébastien;

Unification (computer science) (7,377 words) [view diff] exact match in snippet view article

Lambda-Abstraction, Function Variables, and Simple Unification" (PDF). Journal of Logic and Computation. 1 (4): 497–536. doi:10.1093/logcom/1.4.497. Libal, Tomer;

Belief revision (7,935 words) [view diff] exact match in snippet view article find links to article

Controlled Revision – An algorithmic approach for belief revision, Journal of Logic and Computation, 13(1): 15–35. P. Gärdenfors and Williams (2001). Reasoning

Revision theory (6,640 words) [view diff] exact match in snippet view article find links to article

Revision sequences and computers with an infinite amount of time. Journal of Logic and Computation, 11(1):25–40. doi:10.1093/log-com/11.1.25. Martin, R. L., editor

List of things named after Julius Caesar (5,529 words) [view diff] exact match in snippet view article find links to article

and Ciphers: Julius Caesar, The Enigma, and the Internet". Journal of Logic and Computation. 12 (3): 2. doi:10.1093/logcom/12.3.543. ISSN 0955-792X. Archived