Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Journal of Automated Reasoning (view), Handbook of Automated Reasoning (view), International Joint Conference on Automated Reasoning (view), International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (view), Association for Automated Reasoning (view)

searching for Automated reasoning 151 found (319 total)

alternate case: automated reasoning

Isabelle (proof assistant) (1,288 words) [view diff] exact match in snippet view article

not have to be repeated for every lemma. Isar ("intelligible semi-automated reasoning") is Isabelle's formal proof language. It is inspired by the Mizar

Logic for Programming, Artificial Intelligence and Reasoning (243 words) [view diff] exact match in snippet view article find links to article

conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications

E (theorem prover) (937 words) [view diff] case mismatch in snippet view article

competitions. E is developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich, now at Baden-Württemberg Cooperative State University

Suggested Upper Merged Ontology (320 words) [view diff] exact match in snippet view article find links to article

of domain ontologies. SUMO is organized for interoperability of automated reasoning engines. To maximize compatibility, schema designers can try to assure

Mark E. Stickel (142 words) [view diff] case mismatch in snippet view article find links to article

the Prolog Technology Theorem Prover (PTTP) and SNARK, SRI's New Automated Reasoning Kit. He was elected fellow of the American Association for Artificial

Donald W. Loveland (702 words) [view diff] case mismatch in snippet view article find links to article

He received the Herbrand Award for Distinguished Contributions to Automated Reasoning in 2001. He is a Fellow of the Association for Computing Machinery

Proof assistant (1,205 words) [view diff] exact match in snippet view article find links to article

within proof assistants. Automated theorem proving – Subfield of automated reasoning and mathematical logic Computer-assisted proof – Mathematical proof

Inference Corporation (511 words) [view diff] case mismatch in snippet view article find links to article

it was small enough to fit "on three floppy disks." The company's Automated Reasoning Tool (ART), initially implemented on a mainframe, subsequently made

Thousands of Problems for Theorem Provers (250 words) [view diff] exact match in snippet view article find links to article

automated theorem proving. It is used to evaluate the efficacy of automated reasoning algorithms. Problems are expressed in a simple text-based format

Larry Wos (389 words) [view diff] exact match in snippet view article find links to article

to the field of automated deduction. A festschrift in his honor, Automated reasoning and its applications: essays in honor of Larry Wos (Robert Veroff

Bruno Buchberger (513 words) [view diff] case mismatch in snippet view article find links to article

Innsbruck (2012). Herbrand Award for Distinguished Contributions to Automated Reasoning (2018) Buchberger's algorithm Gröbner bases Bruno Buchberger at the

Luís Moniz Pereira (197 words) [view diff] case mismatch in snippet view article find links to article

member of the editorial boards of the journals of Logic Programming, Automated Reasoning, New Generation Computing, Theory and Practice of Logic Programming

João Marques Silva (155 words) [view diff] exact match in snippet view article find links to article

Portuguese researcher working on the satisfiability problem (SAT) and automated reasoning. He is an ICREA Research Professor at the University of Lleida. Between

Applied Logic Corporation (790 words) [view diff] exact match in snippet view article find links to article

"SAM's lemma", was "widely hailed as the first contribution of automated reasoning systems to mathematics." The SAM series was one of the first interactive

SHINE Expert System (764 words) [view diff] case mismatch in snippet view article find links to article

applying this technology in a project called "Spacecraft Health Automated Reasoning Pilot" (SHARP). SHARP aimed to automate and provide expert system

David A. McAllester (869 words) [view diff] exact match in snippet view article find links to article

include machine learning theory, the theory of programming languages, automated reasoning, AI planning, computer game playing (computer chess) and computational

Planner (programming language) (2,311 words) [view diff] case mismatch in snippet view article

developments such as Knowledge Engineering Environment (KEE) and Automated Reasoning Tool (ART). The two major paradigms for constructing semantic software

Ross Overbeek (647 words) [view diff] case mismatch in snippet view article find links to article

University. In the early 1970s a theorem prover named AURA, for AUtomated Reasoning Assistant, developed by Overbeek replaced one that had been the standard

Robbins algebra (443 words) [view diff] case mismatch in snippet view article find links to article

McCune, William (1997). "Solution of the Robbins Problem". Journal of Automated Reasoning. 19 (3): 263–276. doi:10.1023/A:1005843212884. Dahn, Bernd I (1998-10-15)

Gavin Lowe (computer scientist) (577 words) [view diff] case mismatch in snippet view article

of concurrency. He was Program Co-chair of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Z3 Theorem Prover (530 words) [view diff] case mismatch in snippet view article find links to article

received the 2019 Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of their work in advancing theorem proving with Z3

MERODE (533 words) [view diff] exact match in snippet view article find links to article

i.e. inter/intra model consistency and syntactical quality. The automated reasoning ("consistency by construction") also caters for autocomplete functionality

KL-ONE (376 words) [view diff] exact match in snippet view article find links to article

that KL-ONE initiated was the use of a deductive classifier, an automated reasoning engine that can validate a frame ontology and deduce new information

Ontological argument (10,161 words) [view diff] no match in snippet view article find links to article

In the philosophy of religion, an ontological argument is a deductive philosophical argument, made from an ontological basis, that is advanced in support

Franz Baader (287 words) [view diff] case mismatch in snippet view article find links to article

on 2011-07-19. Retrieved 2010-02-25. "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 18 July 2021. v t e

Spider diagram (333 words) [view diff] case mismatch in snippet view article find links to article

and Masthoff, J. On the Readability of Diagrammatic Proofs Proc. Automated Reasoning Workshop, 2009. PDF Wikimedia Commons has media related to Spider

Natarajan Shankar (219 words) [view diff] exact match in snippet view article find links to article

Church-Rosser theorem. He has contributed to the development of automated reasoning technology, deductive systems and computational engines, including

Robert L. Constable (783 words) [view diff] case mismatch in snippet view article find links to article

Fellowship, 1990-1991. Herbrand Award for Distinguished Contributions to Automated Reasoning, 2014. Robert L. Constable at the Mathematics Genealogy Project Steele

Boyer–Moore majority vote algorithm (1,032 words) [view diff] case mismatch in snippet view article find links to article

Vote Algorithm", in Boyer, R. S. (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series, Dordrecht, The Netherlands: Kluwer

List of algorithms (7,923 words) [view diff] exact match in snippet view article find links to article

calculations, data processing, data mining, pattern recognition, automated reasoning or other problem-solving operations. With the increasing automation

Yacas (282 words) [view diff] case mismatch in snippet view article find links to article

Do-It-Yourself Symbolic Algebra Environment", Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Lecture Notes in Computer Science, vol

Zohar Manna (403 words) [view diff] exact match in snippet view article find links to article

research and pedagogical contributions (with Richard Waldinger) to automated reasoning, program synthesis, planning, and formal methods″. He received the

Kleene algebra (2,247 words) [view diff] case mismatch in snippet view article find links to article

Pouly; Jürg Kohlas (2011). Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley & Sons. p. 246. ISBN 978-1-118-01086-0. Conway, J.H.

LowerUnivalents (83 words) [view diff] case mismatch in snippet view article find links to article

Compression of propositional resolution proofs by lowering subproofs. In Automated Reasoning with Analytic Tableaux and Related Methods (pp. 59-73). Springer

List of axiomatic systems in logic (3,906 words) [view diff] case mismatch in snippet view article find links to article

propositional calculus). "Some New Results in Logical Calculi Obtained Using Automated Reasoning", Zac Ernst, Ken Harris, & Branden Fitelson, http://www.mcs.anl

Paul Gochet (1,757 words) [view diff] case mismatch in snippet view article find links to article

1988. Research Fellow, National University of Australia, Canberra (Automated Reasoning Project) three months in 1995. Visiting professor, University of

Conor McBride (696 words) [view diff] case mismatch in snippet view article find links to article

"Strongly Typed Term representations in Coq" (PDF). Journal of Automated Reasoning. 49 (2): 141–159. CiteSeerX 10.1.1.296.8805. doi:10.1007/s10817-011-9219-0

Buchberger's algorithm (856 words) [view diff] case mismatch in snippet view article find links to article

Machine-Checked Implementation of Buchberger's Algorithm". Journal of Automated Reasoning. 26 (2): 107–137. doi:10.1023/A:1026518331905. "Polynomials Manipulation

Mechanism of action (1,862 words) [view diff] exact match in snippet view article find links to article

C.; Cai, J. (2012). "Identifying novel drug indications through automated reasoning". PLOS ONE. 7 (7) e40946. Bibcode:2012PLoSO...740946T. doi:10.1371/journal

FriCAS (782 words) [view diff] exact match in snippet view article find links to article

Simon (May 1998). "Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor" (Monograph). Retrieved 2017-01-27. Poll, Erik; Thompson

Knowledge base (1,452 words) [view diff] exact match in snippet view article find links to article

knowledge-based in the sense of an expert system that performed automated reasoning and knowledge-based in the sense of knowledge management that provided

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

lambda calculus to implement formal systems on a machine. Journal of Automated Reasoning, 9:309-354, 1992. Robert Harper. An Equational Formulation of LF

Newman's lemma (642 words) [view diff] case mismatch in snippet view article find links to article

University Press. Harrison, John (2009). Handbook of Practical Logic and Automated Reasoning. Cambridge University Press. p. 260. ISBN 978-0-521-89957-4. Cohn

Frame (artificial intelligence) (3,597 words) [view diff] exact match in snippet view article

of the models could be automated using theorem provers and other automated reasoning capabilities. The drawback was that it could be more difficult to

Cooperating Validity Checker (2,006 words) [view diff] case mismatch in snippet view article find links to article

Solver". In Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk (eds.). Automated Reasoning. Lecture Notes in Computer Science. Vol. 13385. Cham: Springer International

Choreographic programming (1,574 words) [view diff] case mismatch in snippet view article find links to article

(2023-05-27). "A Formal Theory of Choreographic Programming". Journal of Automated Reasoning. 67 (2): 21. arXiv:2209.01886. doi:10.1007/s10817-023-09665-3. ISSN 1573-0670

MPEG-7 (1,186 words) [view diff] exact match in snippet view article find links to article

leverage low-level multimedia semantics via formal representation and automated reasoning. Exif ID3 Metadata standards MPEG-4 Part 11 – Scene description and

Semantic Web Rule Language (1,031 words) [view diff] exact match in snippet view article find links to article

the Semantic Web continues to evolve, the role of SWRL in enabling automated reasoning and decision-making processes will likely expand. While current implementations

Robert S. Boyer (221 words) [view diff] case mismatch in snippet view article find links to article

with J S. Moore. Second Edition. Academic Press, London, 1998. Automated Reasoning: Essays in Honor of Woody Bledsoe, editor. Kluwer Academic, Dordrecht

Decidable sublanguages of set theory (150 words) [view diff] case mismatch in snippet view article find links to article

decidability", by Franco Parlamento and Alberto Policriti Journal of Automated Reasoning, Volume 7, Issue 2 (June 1991), Pages: 271 - 284 "A Decision Procedure

Christoph Walther (1,363 words) [view diff] case mismatch in snippet view article find links to article

Stephan Schweitzer (2004). "Verification in the Classroom". Journal of Automated Reasoning. 31 (1): 35–73. doi:10.1016/0004-3702(85)90029-3. Christoph Walther;

Edmund M. Clarke (820 words) [view diff] case mismatch in snippet view article find links to article

Combining Theorem Proving and Symbolic Computation". Journal of Automated Reasoning. 21 (3): 295–325. doi:10.1023/A:1006079212546. Wikimedia Commons

Aldor (401 words) [view diff] case mismatch in snippet view article find links to article

Manfred; Kohlhase, Michael (2 April 2001). Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium. CRC Press. ISBN 978-1-4398-6423-4

Semantic Web (6,280 words) [view diff] exact match in snippet view article find links to article

include vastness, vagueness, uncertainty, inconsistency, and deceit. Automated reasoning systems will have to deal with all of these issues in order to deliver

Introsort (1,238 words) [view diff] case mismatch in snippet view article find links to article

Efficient Verified Implementation of Introsort and Pdqsort. IJCAR 2020: Automated Reasoning. Vol. 12167. pp. 307–323. doi:10.1007/978-3-030-51054-1_18. "slice

Michael Kohlhase (643 words) [view diff] case mismatch in snippet view article find links to article

2005. Manfred Kerber, Michael Kohlhase: Symbolic Computation and Automated Reasoning, Proceedings of the CALCULEMUS-2000 Symposium, AKPeters, Boston 2001

Bernays–Schönfinkel class (319 words) [view diff] case mismatch in snippet view article find links to article

In Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles (eds.). Automated Reasoning. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer

Nqthm (856 words) [view diff] case mismatch in snippet view article find links to article

campus.acm.org, accessed December 27, 2007. (English version). The Automated Reasoning System, Nqthm The Boyer-Moore Theorem Prover (NQTHM) Even though

Greg Nelson (computer scientist) (354 words) [view diff] case mismatch in snippet view article

Geoff (June 2013). "Herbrand Award: for Distinguished Contributions to Automated Reasoning". Conference on Automated Deduction. Retrieved 2021-04-13.

Finite-valued logic (1,322 words) [view diff] case mismatch in snippet view article find links to article

Łukasiewicz Logic as Finite Constraint Satisfaction". Journal of Automated Reasoning. 49 (4): 493–550. doi:10.1007/s10817-011-9227-0. S2CID 17959156.

Paradox (theorem prover) (425 words) [view diff] case mismatch in snippet view article

). Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories. The 21st International Conference on Automated

Hans Zantema (342 words) [view diff] case mismatch in snippet view article find links to article

rewriting Archived 2014-10-22 at the Wayback Machine." Journal of Automated Reasoning 40.2-3 (2008): 195–220. Arts, Thomas, and Jürgen Giesl. "Termination

Davis–Putnam algorithm (766 words) [view diff] exact match in snippet view article find links to article

pp. 134–145. John Harrison (2009). Handbook of practical logic and automated reasoning. Cambridge University Press. pp. 79–90. ISBN 978-0-521-89957-4.

Web Ontology Language (4,313 words) [view diff] case mismatch in snippet view article find links to article

"FaCT++ Description Logic Reasoner: System Description" (PDF). Automated Reasoning. Lecture Notes in Computer Science. Vol. 4130. pp. 292–297. CiteSeerX 10

INESC-ID (325 words) [view diff] case mismatch in snippet view article find links to article

research areas: Artificial Intelligence for People and Society; Automated Reasoning and Software Reliability; Communication Networks; Distributed, Parallel

Bill Schelter (210 words) [view diff] case mismatch in snippet view article find links to article

Schelter. Proving Geometry Theorems with Rewrite Rules Journal of Automated Reasoning, 1986. In memoriam. Access in 2007-07-05. [1] Archived September

Semantic query (1,021 words) [view diff] case mismatch in snippet view article find links to article

answering in description logics: The DL-Lite family". Journal of Automated Reasoning. 39 (3): 385–429. doi:10.1007/s10817-007-9078-x. Fensel, Dieter;

Craig interpolation (1,037 words) [view diff] case mismatch in snippet view article find links to article

S2CID 10190144. John Harrison (2009). Handbook of Practical Logic and Automated Reasoning. Cambridge, New York: Cambridge University Press. ISBN 978-0-521-89957-4

Ian Horrocks (1,070 words) [view diff] case mismatch in snippet view article find links to article

"FaCT++ Description Logic Reasoner: System Description" (PDF). Automated Reasoning. Lecture Notes in Computer Science. Vol. 4130. pp. 292–297. CiteSeerX 10

Object–role modeling (1,414 words) [view diff] case mismatch in snippet view article find links to article

Relational algebra Three-schema approach Jarrar, M. (2007). "Towards Automated Reasoning on ORM Schemes". Conceptual Modeling - ER 2007. Lecture Notes in

Gérard Huet (1,138 words) [view diff] case mismatch in snippet view article find links to article

Heritage Site "The Herbrand Award for Distinguished Contributions to Automated Reasoning". Archived from the original on 2015-02-07. Retrieved 2015-02-07

Lambda-mu calculus (842 words) [view diff] case mismatch in snippet view article find links to article

sequential control". In Pfenning, Frank (ed.). Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16–22

Modal clausal form (414 words) [view diff] case mismatch in snippet view article find links to article

2015). A Modal-Layered Resolution Calculus for K. TABLEAUX 2015: Automated Reasoning with Analytic Tableaux and Related Methods, Wrocław, Poland. Lecture

Graham Priest bibliography (3,901 words) [view diff] case mismatch in snippet view article find links to article

TR-ARP-2/88, Automated Reasoning Project, Australian National University, 1988. 'Consistency by Default', Technical Report TR-ARP-3/88, Automated Reasoning Project

Owen Astrachan (1,093 words) [view diff] case mismatch in snippet view article find links to article

Theorem Provers using Model Elimination". In Robert S. Boye (ed.). Automated Reasoning: Essays in Honor of Woody Bledsoe. pp. 31–59. doi:10.1007/978-94-011-3488-0_2

Allan M. Ramsay (435 words) [view diff] case mismatch in snippet view article find links to article

Library Ramsay, A. (1991). "Generating relevant models". Journal of Automated Reasoning. 7 (3): 359–368. doi:10.1007/BF00249019. S2CID 38135904. Ramsay,

Compiler correctness (1,082 words) [view diff] case mismatch in snippet view article find links to article

(2009-12-01). "A Formally Verified Compiler Back-end". Journal of Automated Reasoning. 43 (4): 363–446. arXiv:0902.2137. doi:10.1007/s10817-009-9155-4

Satisfiability (1,498 words) [view diff] case mismatch in snippet view article find links to article

Constraints". In John Alan Robinson; Andrei Voronkov (eds.). Handbook of Automated Reasoning Volume I. Elsevier and MIT Press. ISBN 0-444-82949-0. (Elsevier)

Concurrent ML (589 words) [view diff] case mismatch in snippet view article find links to article

semantics". Functional Programming, Concurrency, Simulation and Automated Reasoning. Lecture Notes in Computer Science. Vol. 693. pp. 165–198. CiteSeerX 10

Regular chain (1,415 words) [view diff] exact match in snippet view article find links to article

dependency between algebraic equations: an algorithm applied to automated reasoning. Artificial Intelligence in Mathematics, pp. 14715, Oxford University

Counterexample-guided abstraction refinement (950 words) [view diff] case mismatch in snippet view article find links to article

Improved Modal Satisfiability via Modal Clause-Learning and SAT. Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference

Confluence (abstract rewriting) (1,744 words) [view diff] case mismatch in snippet view article

Robinson, Alan J. A.; Voronkov, Andrei (5 July 2001). Handbook of Automated Reasoning. Gulf Professional Publishing. p. 560. ISBN 978-0-444-82949-8. N

Carla Gomes (689 words) [view diff] exact match in snippet view article find links to article

Randomization, which provided "significant contributions to the area of automated reasoning and constraint solving through the introduction of randomization

Feuerbach point (1,125 words) [view diff] case mismatch in snippet view article find links to article

Wu's method for mechanical theorem proving in geometry", Journal of Automated Reasoning, 4 (3): 237–267, doi:10.1007/BF00244942, MR 0975146, S2CID 12368370

Triangular decomposition (1,610 words) [view diff] exact match in snippet view article find links to article

dependency between algebraic equations: an algorithm applied to automated reasoning. Artificial Intelligence in Mathematics, pp. 14715, Oxford University

Parallel postulate (3,273 words) [view diff] case mismatch in snippet view article find links to article

mechanized study in intuitionistic logic using Coq" (PDF), Journal of Automated Reasoning, 62: 1–68, doi:10.1007/s10817-017-9422-8, S2CID 25900234 Pambuccian

Formal methods (3,642 words) [view diff] case mismatch in snippet view article find links to article

Albert; Stump, Aaron (2013-03-01). "6 Years of SMT-COMP". Journal of Automated Reasoning. 50 (3): 243–277. doi:10.1007/s10817-012-9246-5. ISSN 1573-0670.

Substitution (logic) (2,933 words) [view diff] case mismatch in snippet view article

ISBN 0-486-42533-9 Robinson, Alan J. A.; Voronkov, Andrei (2001-06-22). Handbook of Automated Reasoning. Elsevier. ISBN 978-0-08-053279-0 Substitution at the nLab

Many-valued logic (3,350 words) [view diff] exact match in snippet view article find links to article

ISBN 978-1-58603-304-0. Bolc, Leonard; Borowik, Piotr (2003). Many-valued Logics 2: Automated reasoning and practical applications. Springer. ISBN 978-3-540-64507-8. Stanković

Michael McRobbie (1,581 words) [view diff] exact match in snippet view article find links to article

proving. After a postdoctoral fellowship in philosophy, he founded an automated reasoning project, the ANU Centre for Information Science Research and the

Quasiregular element (1,658 words) [view diff] case mismatch in snippet view article find links to article

Pouly; Jürg Kohlas (2011). Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley & Sons. pp. 232 and 248–249. ISBN 978-1-118-01086-0.

Michael M. Richter (1,242 words) [view diff] case mismatch in snippet view article find links to article

Uncertainty and Case-Based Reasoning in PATDEX. In: R. S. Boyer (Ed.), Automated Reasoning, Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers, 1991

Extended static checking (933 words) [view diff] case mismatch in snippet view article find links to article

Extended Static Checking for the Java Modeling Language". Journal of Automated Reasoning. 44 (1–2): 145–174. CiteSeerX 10.1.1.165.7920. doi:10.1007/s10817-009-9134-9

Muffy Calder (747 words) [view diff] exact match in snippet view article find links to article

summarises her research interests as "mathematical modelling and automated reasoning for concurrent, communicating systems". Calder published an influential

Quantum logic (4,033 words) [view diff] case mismatch in snippet view article find links to article

Gentzen-like Methods in Quantum Logic (PDF). 8th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). SUNY Albany

John L. Pollock (1,510 words) [view diff] case mismatch in snippet view article find links to article

Intelligence, 1989. "Interest driven suppositional reasoning," Journal of Automated Reasoning, 1990. "Self-defeating arguments," Minds and Machines, 1991. "A theory

Feature model (1,379 words) [view diff] case mismatch in snippet view article find links to article

August 2004. download. D. Benavides, P. Trinidad and A. Ruiz-Cortés. "Automated Reasoning on Feature Models". 17th Conference on Advanced Information Systems

Diophantine equation (4,830 words) [view diff] case mismatch in snippet view article find links to article

Constraints". In John Alan Robinson and Andrei Voronkov (ed.). Handbook of Automated Reasoning Volume I. Elsevier and MIT Press. p. 779. ISBN 0-444-82949-0. (Elsevier)

Transferable belief model (1,444 words) [view diff] case mismatch in snippet view article find links to article

Smets Ph. (1988) "Belief function". In: Non Standard Logics for Automated Reasoning, ed. Smets Ph., Mamdani A, Dubois D. and Prade H. Academic Press

Knowledge-based engineering (2,661 words) [view diff] exact match in snippet view article find links to article

planning, marketing, etc. An advantage of using KBE is getting the automated reasoning and knowledge management services of a knowledge-based environment

Adrian Walker (computer scientist) (776 words) [view diff] case mismatch in snippet view article

Enough to be Proved Terminating, Sound and Complete. Journal of Automated Reasoning, 11:1–22, 1993. Walker, Adrian. "Understandability and Semantic Interoperability

Finite-state machine (4,550 words) [view diff] case mismatch in snippet view article find links to article

Marc; Kohlas, Jürg (2011). Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley & Sons. Chapter 6. Valuation Algebras for Path Problems

Abstract rewriting system (2,000 words) [view diff] case mismatch in snippet view article find links to article

Harrison, John (2009). "4 "Equality"". Handbook of Practical Logic and Automated Reasoning Cambridge University Press. ISBN 978-0-521-89957-4. Abstract rewriting

DPLL algorithm (2,559 words) [view diff] exact match in snippet view article find links to article

1016/S0166-218X(98)00045-6. John Harrison (2009). Handbook of practical logic and automated reasoning. Cambridge University Press. pp. 79–90. ISBN 978-0-521-89957-4. Specific

Woody Bledsoe (919 words) [view diff] case mismatch in snippet view article find links to article

Biographical Sketch of W. W. Bledsoe". In Boyer, Robert S. (ed.). Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers Group

Genera (operating system) (2,710 words) [view diff] case mismatch in snippet view article

Gatekeeper, a rule-based resource manager for airports and airlines Automated Reasoning Tool (ART), an expert system shell from Inference Corporation ICAD

Stephen Emmott (1,670 words) [view diff] exact match in snippet view article find links to article

2016). "A method to identify and analyze biological programs through automated reasoning". npj Systems Biology and Applications. 2: 16010–. doi:10.1038/npjsba

Run-time algorithm specialization (1,072 words) [view diff] case mismatch in snippet view article find links to article

Vampire: Implementing Bottom-Up Procedures with Code Trees", Journal of Automated Reasoning, 15(2), 1995 (original idea) A. Riazanov and A. Voronkov, "Efficient

Decidability of first-order theories of the real numbers (503 words) [view diff] case mismatch in snippet view article find links to article

Automatic Theorem Prover for Real-Valued Special Functions". Journal of Automated Reasoning. 44 (3): 175–205. doi:10.1007/s10817-009-9149-2. S2CID 16215962.

Gopal Gupta (computer scientist) (1,008 words) [view diff] exact match in snippet view article

(coLP), which subsequently led to s(CASP), a logic programming-based automated reasoning system. His group’s work on coLP received the 10-year test-of-time

Range query (computer science) (5,468 words) [view diff] case mismatch in snippet view article

Strother (1991). "MJRTY—A Fast Majority Vote Algorithm". Automated Reasoning. Automated Reasoning Series. Vol. 1. Dordrecht: Springer Netherlands. pp. 105–117

Description logic (4,387 words) [view diff] case mismatch in snippet view article find links to article

"FaCT++ Description Logic Reasoner: System Description" (PDF). Automated Reasoning. Lecture Notes in Computer Science. Vol. 4130. pp. 292–297. CiteSeerX 10

Lisp machine (3,884 words) [view diff] case mismatch in snippet view article find links to article

Environment (KEE), Knowledge Craft, from The Carnegie Group Inc., and ART (Automated Reasoning Tool) from Inference Corporation. Initially the Lisp machines were

Keller's conjecture (3,062 words) [view diff] case mismatch in snippet view article find links to article

conjecture", in Peltier, Nicolas; Sofronie-Stokkermans, Viorica (eds.), Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France,

Boolean satisfiability problem (5,085 words) [view diff] case mismatch in snippet view article find links to article

(2000-02-01). "Logical Cryptanalysis as a SAT Problem". Journal of Automated Reasoning. 24 (1): 165–203. doi:10.1023/A:1006326723002. S2CID 3114247. Mironov

Focused proof (1,222 words) [view diff] case mismatch in snippet view article find links to article

Armelín, Pablo A.; Pym, David J. (2001), "Bunched Logic Programming", Automated Reasoning, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 289–304, doi:10

P versus NP problem (7,801 words) [view diff] case mismatch in snippet view article find links to article

L. (2000). "Logical cryptanalysis as a SAT problem". Journal of Automated Reasoning. 24 (1): 165–203. CiteSeerX 10.1.1.104.962. doi:10.1023/A:1006326723002

Semantics of Business Vocabulary and Business Rules (2,611 words) [view diff] case mismatch in snippet view article find links to article

Neumont University, Unisys Corporation Supporters of SBVR are: Automated Reasoning Corporation, Business Rules Group, Fujitsu Ltd, Hewlett-Packard Company

Resolution (logic) (4,052 words) [view diff] case mismatch in snippet view article

(PDF). In Robinson, Alan J.A.; Voronkov, Andrei (eds.). Handbook of Automated Reasoning. Elsevier. pp. 371–444. ISBN 978-0-08-053279-0. Robinson, J. Alan

Guided local search (1,546 words) [view diff] case mismatch in snippet view article find links to article

search for solving SAT and weighted MAX-SAT problems, Journal of Automated Reasoning, Special Issue on Satisfiability Problems, Kluwer, Vol.24, 2000,

Theta-subsumption (660 words) [view diff] case mismatch in snippet view article find links to article

Comprehensive Framework for Saturation Theorem Proving". Journal of Automated Reasoning. 66 (4): 499–539. doi:10.1007/s10817-022-09621-7. ISSN 0168-7433

AI@50 (1,900 words) [view diff] case mismatch in snippet view article find links to article

Centrality of Examples Bart Selman, The Challenge and Promise of Automated Reasoning Trenchard More The Birth of Array Theory and Nial Eugene Charniak

Aberystwyth University (5,509 words) [view diff] exact match in snippet view article find links to article

Department of Computer Science (founded in 1970), conducts research in automated reasoning, computational biology, vision graphics and visualisation and intelligent

Plant Phenology Ontology (1,540 words) [view diff] case mismatch in snippet view article find links to article

Wang, Zhe (2014-10-01). "HermiT: An OWL 2 Reasoner". Journal of Automated Reasoning. 53 (3): 245–269. doi:10.1007/s10817-014-9305-1. hdl:10072/66648

Lambda calculus (9,260 words) [view diff] case mismatch in snippet view article find links to article

Lambda Calculus as a Model of Computation in Coq" (PDF). Journal of Automated Reasoning. 63 (2): 393–413. doi:10.1007/s10817-018-9484-2. S2CID 53087112.

Terah Lyons (1,141 words) [view diff] exact match in snippet view article find links to article

of AI technologies, including machine perception, learning, and automated reasoning. As stated on their website, the goals of the organization are to:

KeY (1,928 words) [view diff] case mismatch in snippet view article find links to article

In Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles (eds.). Automated Reasoning. Lecture Notes in Computer Science. Vol. 5195. Berlin, Heidelberg:

Shortest path problem (4,907 words) [view diff] case mismatch in snippet view article find links to article

Algebras for Path Problems". Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley & Sons. ISBN 978-1-118-01086-0. Loui, R.P., 1983. Optimal

Big O notation (9,111 words) [view diff] case mismatch in snippet view article find links to article

notation in Isabelle/HOL (PDF). International Joint Conference on Automated Reasoning. doi:10.1007/978-3-540-25984-8_27. Black, Paul E. (11 March 2005)

Gödel's incompleteness theorems (12,191 words) [view diff] exact match in snippet view article find links to article

JSTOR 2678455. Harrison, J. (2009). Handbook of practical logic and automated reasoning. Cambridge: Cambridge University Press. ISBN 978-0521899574. David

Giuseppe De Giacomo (685 words) [view diff] case mismatch in snippet view article find links to article

Answering in Description Logics: The DL-Lite Family", Journal of Automated Reasoning, 39 (3), Springer: 385–429, doi:10.1007/s10817-007-9078-x, S2CID 830547

Information algebra (2,263 words) [view diff] case mismatch in snippet view article find links to article

Marc; Kohlas, Jürg (2011), Generic Inference: A Unifying Theory for Automated Reasoning, John Wiley & Sons, ISBN 978-1-118-01086-0 Scott, Dana S. (1970)

Proof complexity (3,760 words) [view diff] exact match in snippet view article find links to article

time. The idea of comparing the size of proofs can be used for any automated reasoning procedure that generates a proof. Some research has been done about

Equality (mathematics) (7,955 words) [view diff] case mismatch in snippet view article

(PDF). In Robinson, Alan J. A.; Voronkov, Andrei (eds.). Handbook of Automated Reasoning. Elsevier. pp. 371–444. ISBN 978-0-08-053279-0. Kleene 1967, p. 164

Eric Horvitz (5,006 words) [view diff] exact match in snippet view article find links to article

psychology. He studied the use of probability and utility to guide automated reasoning for decision making. The methods include consideration of the solving

Meta-process modeling (3,320 words) [view diff] exact match in snippet view article find links to article

devices and obtain a scenario formulation which will be the basis for automated reasoning 7.2 IAG-9 Enact section with automated support IAG9 semi-automatically

Anti-unification (3,061 words) [view diff] case mismatch in snippet view article find links to article

"Anti-Unification for Unranked Terms and Hedges" (PDF). Journal of Automated Reasoning. 52 (2): 155–190. doi:10.1007/s10817-013-9285-6. Software. One associative

Vadalog (3,037 words) [view diff] exact match in snippet view article find links to article

Sallinger, Emanuel (2022-03-01). "Vadalog: A modern architecture for automated reasoning with large knowledge graphs". Information Systems. 105 101528. doi:10

Computer chess (14,395 words) [view diff] case mismatch in snippet view article find links to article

Monty (2006). Theo and Octopus at the 2006 World Championship for Automated Reasoning Programs, Seattle, Washington, August 18, 2006 Stiller, Lewis (1996)

Amit Sheth (3,852 words) [view diff] exact match in snippet view article find links to article

processing encompassed the approach for searching for an ontology-automated reasoning for schema integration, semantic search, other applications, and

Curry–Howard correspondence (6,372 words) [view diff] case mismatch in snippet view article find links to article

natural deduction", International Conference on Logic Programming and Automated Reasoning: LPAR '92 Proceedings, St. Petersburg, Russia, Lecture Notes in Computer

Timeline of artificial intelligence (4,818 words) [view diff] exact match in snippet view article find links to article

has been described as the first deliberately engineered to perform automated reasoning, and would eventually prove 38 of the first 52 theorems in Russell

Situation awareness (11,635 words) [view diff] case mismatch in snippet view article find links to article

Wolfgang; Howard, Catherine; Voigt, Shaun; Philp, Dean (2018), Automated Reasoning over Provenance-Aware Communication Network Knowledge in Support

Roy Dyckhoff (1,117 words) [view diff] case mismatch in snippet view article find links to article

Stephane; Negri, Sara (2019). "Remembering Roy Dyckhoff" (PDF). Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference

Inslaw (7,076 words) [view diff] case mismatch in snippet view article find links to article

computers abroad with PROMIS-embedded SMART (Systems Management Automated Reasoning Tools) chips, code-named Petrie, capable of covertly downloading

2012 New Year Honours (16,893 words) [view diff] case mismatch in snippet view article find links to article

Service, Ministry of Justice. Professor Alan Bundy. Professor of Automated Reasoning, University of Edinburgh. For services to Computing Science. Dr Andrew

Artificial intelligence industry in Italy (1,467 words) [view diff] exact match in snippet view article find links to article

extend back to the 1970s, when Italian scholars began exploring automated reasoning, programming language semantics, and pattern recognition. Researchers

Skew lattice (5,161 words) [view diff] case mismatch in snippet view article find links to article

Veroff, Axiomatizing the skew Boolean propositional calculus, J. Automated Reasoning, 37 (2006), 3-20. Cvetko-Vah, K, Skew lattices in matrix rings, Algebra

Department of Computer Science, Aberystwyth University (1,368 words) [view diff] exact match in snippet view article find links to article

reasoning services for bio-ontologies and has been applied to provide automated reasoning-based access to hundreds of ontologies. Dr Hannah Dee, a senior lecturer

Conjunction/disjunction duality (1,337 words) [view diff] case mismatch in snippet view article find links to article

Robinson, Alan J. A.; Voronkov, Andrei (2001-06-21). Handbook of Automated Reasoning. Gulf Professional Publishing. p. 306. ISBN 978-0-444-82949-8. Polkowski

Glossary of logic (30,339 words) [view diff] case mismatch in snippet view article find links to article

Elimination, Counter Simulations and Fault-Tolerant Systems". Journal of Automated Reasoning. 65 (3): 425–460. doi:10.1007/s10817-020-09578-5. hdl:2434/766980