Вы здесь

Главная

логика первого порядка

Связанные издания:

A comprehensive framework for modeling set-based business rules during conceptual database design
An "Ehrenfeucht-Fraisse Game" for Fixpoint Logic and Stratified Fixpoint Logic
A Rule-based Algorithm for Rigid E-unification
Automated Deduction - CADE-21: Proc./21st International Conference on Automated Deduction. Bremen, Germany, July 2007
Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015
Automated Deduction - CADE 27: Proc./27th International Conference on Automated Deduction, Natal, Brazil, August 2019
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning: Proc./8th International Joint Conference, IJCAR 2016, Coimbra, Portugal. June 2016
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011
Bounded Model Checking of Pointer Programs
Computational Issues in Fluid Construction Grammer: A New Formalism for the Representation of Lexicons and Grammars
Constraint by Example
Distibuted Deduction by Clause-Diffusion: the Aquarius Prover
Equation Solving in Projective Planes and Planar Ternary Rings
Extracting Higher Order Functions from First Order Proofs
First-Order LTL Model Checking Using MDGs
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Foundations of Software Science and Computational Structures: Proc./14th International Conference, FOSSACS 2011 Held as a Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March 2011
Foundations of Software Science and Computational Structures: Proc./15th International Conference, FOSSACS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Foundations of Software Science and Computational Structures: Proc./22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
From Separation Logic to First-Order Logic
Frontiers of Combining Systems: Proc./8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 2011
Hyperproof: An Excursion in Situated Logic
Inductive Logic Programming:Proc./14th International Conference, ILP 2004. Porto, Portugal, September 2004
Introduction to Artificial Intelligence
KI 2011: Advances in Artificial Intelligence: Proc./34th Annual German Conference on AI, Berlin, Germany, October 2011
Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008
Language, Logic, and Computation: Revised Selected Papers/12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 2017
Logical Definability of NP-Optimisation Problems with Monadic Auxiliary Predicates
Logical Objects
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
Logic, Language, Information and Computation: Proc./16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 2009
On Asymptotic Probabilities of Monadic Second Order Properties
On Specification Frameworks and Deductive Synthesis of Logic Programs
PERs from Projections for Binding-time Analysis
Provability logics with quantifiers on proofs
Proving and Rewriting
Proving Behavioural Theorems with Standard First-Order Logic
Self-Verifying Axiom Systems
Spezifikationen hoherer Ordnung
Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality
Time-Bounded Reasoning in First Order Knowledge Base Systems
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018
Weak logic theory
Один метод машинного вывода и его модификация для поиска ответов на запросы
Проблема разложимости при формальном описании знаний
Синтаксическая однозначность при представлении знаний в логике первого порядка