Search results

.../chapter/10.1007/978-3-319-24312-2_13 |conference=TABLEAUX 2015: Automated Reasoning with Analytic Tableaux and Related Methods, Wrocław, Poland |series= Lectur Such a normal form is commonly used for [[automated theorem proving]] using [[tableau calculi]] and [[resolution calculi]] tech ...

...tion description language]] and used as the input for [[automated planning|automated planners]]. ...learning action models differs from [[reinforcement learning]]. It enables reasoning about actions instead of expensive trials in the world.<ref name="amir2008" ...

...e]], '''FO(.)''' (a.k.a. '''FO-dot''') is a [[Knowledge representation and reasoning|knowledge representation]] language based on [[first-order logic]] (FO).<re ...information", to be used as input to various generic reasoning algorithms. Reasoning engines that use FO(.) include IDP-Z3,<ref>{{cite web |url=http://www.idp-z ...

| journal = [[Journal of Automated Reasoning]] ...lata |first=Gina |author-link=Gina Kolata |title=Computer Math Proof Shows Reasoning Power |work=[[The New York Times]] |date=1996-12-10 |url=https://archive.ny ...

...ning, in particular in [[mathematical logic]], [[computer algebra]], and [[automated theorem proving]], a '''fresh variable''' is a variable that did not occur [[Category:Automated theorem proving]] ...

...er Science |volume=12842 |pages=74–91 |location=Cham |conference=Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, ...ent Strategies for CEGAR-Based Model Checking|journal=Journal of Automated Reasoning|volume=64|issue=4|pages=1051–1091|date=11 November 2019|doi=10.1007/s10817- ...

...enavides05-caise">D. Benavides, P. Trinidad and A. Ruiz-Cortés. "Automated Reasoning on Feature Models". 17th Conference on Advanced Information Systems Enginee ...ramework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing". Software and System Modeling. 2015. [https://link.s ...

| genre = [[Automated theorem proving|Theorem prover]] ...Herbrand Award|Herbrand Award for Distinguished Contributions to Automated Reasoning]] in recognition of their work in advancing theorem proving with Z3.<ref>[h ...

...name = "AR">"Some New Results in Logical Calculi Obtained Using Automated Reasoning", Zac Ernst, Ken Harris, & Branden Fitelson, http://www.mcs.anl.gov/researc .../cs/pdf/0205/0205078v1.pdf , p. 9, A Spectrum of Applications of Automated Reasoning], Larry Wos; arXiv:cs/0205078v1</ref> ...

{{Short description|Language models designed for reasoning tasks}} ...nce]] systems that combine [[natural language processing]] with structured reasoning capabilities. These models are usually constructed by [[Prompt engineering| ...

:# If φ is of the form ψ ∨ χ, the result follows by analogous reasoning. ...ttps://books.google.com/books?id=X3z8ujBRgmEC |title=Handbook of Automated Reasoning |last2=Voronkov |first2=Andrei |date=2001-06-21 |publisher=Gulf Professiona ...

...= Simon| title = Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor| date = May 1998| format = Monograph| access-date = 2017-01-27| ur ...last2 = Thompson| first2 = Simon| title = Integrating Computer Algebra and Reasoning through the Type System of Aldor| book-title = Frontiers of Combining Syste ...

...ive Framework for Saturation Theorem Proving |journal=Journal of Automated Reasoning |language=en |volume=66 |issue=4 |pages=499–539 |doi=10.1007/s10817-022-096 ...

...is not decidable. In [[universal algebra]], [[equational theory]], and [[automated theorem proving]], the methods of [[term rewriting]], [[congruence closure] ...1=John Alan Robinson |editor2=Andrei Voronkov |title=Handbook of Automated Reasoning Volume I|year=2001|publisher=Elsevier and MIT Press|id= (Elsevier) (MIT Pre ...

...r|first=Herbert|date=2016-10-12|title=Artificial intelligence: Deep neural reasoning|journal=Nature|language=en|volume=538|issue=7626|doi=10.1038/nature19477|is ...SHRDLU]], DNC was trained via curriculum learning, and learned to make a [[Automated planning and scheduling|plan]]. It performed better than a traditional [[re ...

...om Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules ...-access=free}}</ref> is a method of creating a logical inference system or automated algorithm construction from modules, services or procedures on the basis of ...

...ob |first3=Georg |date=2018-05-01 |title=The Vadalog system: datalog-based reasoning for knowledge graphs |url=https://doi.org/10.14778/3213880.3213888 |journal ...oning|logical]], [[Probabilistic reasoning|probabilistic]] and ontological reasoning,<ref>{{Cite journal |last1=Cali` |first1=Andrea |last2=Gottlob |first2=Geor ...

...uthor-link1=John Harrison |title=Handbook of Practical Logic and Automated Reasoning Cambridge University Press |date=2009 |isbn=978-0-521-89957-4 |chapter=4 "E *{{cite book |first=David A. |last=Duffy |title=Principles of Automated Theorem Proving |year=1991 |publisher=Wiley}} ...

...dependency between algebraic equations: an algorithm applied to automated reasoning]. Artificial Intelligence in Mathematics, pp.&nbsp;14715, Oxford Universit ...

...ms and 'Anti-Unification'|book-title=Proc. 8th International Conference on Automated Deduction|publisher=Springer|series=LNCS|volume=230|pages=128–140|year=1986 ...nti-Unification for Unranked Terms and Hedges|journal=Journal of Automated Reasoning|volume=52|number=2|pages=155–190|url=https://link.springer.com/content/pdf/ ...