- Speed Up the Conception of Logical Systems with Test-Driven Development.Mathieu Vidal - 2014 - Journal of Logic, Language and Information 23 (1):83-103.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.details
|
|
Implementation of Belief Change Operators Using BDDs.Nikos Gorogiannis & Mark D. Ryan - 2002 - Studia Logica 70 (1):131-156.details
|
|
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.Lourdes del Carmen González-Huesca, Favio E. Miranda-Perea & P. Selene Linares-Arévalo - 2019 - Journal of Applied Non-Classical Logics 29 (3):255-287.details
|
|
Contract as automaton: representing a simple financial agreement in computational form.Mark D. Flood & Oliver R. Goodenough - 2022 - Artificial Intelligence and Law 30 (3):391-416.details
|
|
Kees van Deemter: Not Exactly: In Praise of Vagueness: Oxford University Press, Oxford, 2010, xvi+341, $29.95, ISBN: 0-199-5459-01. [REVIEW]Patrick Allo - 2012 - Minds and Machines 22 (1):41-45.details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
A Handbook for Language Engineers.Matthew Stone - unknowndetails
|
|
Ethics in Artificial Intelligence : How Relativism is Still Relevant.Loukas Piloidis - unknowndetails
|
|
Designing Meaningful Agents.Matthew Stone - 2004 - Cognitive Science 28 (5):781-809.details
|
|