The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase first-order logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1963-1977 (15) 1978-1982 (17) 1983-1985 (20) 1986-1987 (20) 1988 (15) 1989 (16) 1990 (28) 1991 (20) 1992 (27) 1993 (17) 1994 (33) 1995 (24) 1996 (17) 1997 (37) 1998 (44) 1999 (56) 2000 (60) 2001 (69) 2002 (71) 2003 (68) 2004 (89) 2005 (102) 2006 (101) 2007 (113) 2008 (119) 2009 (93) 2010 (35) 2011 (25) 2012 (27) 2013 (34) 2014 (35) 2015 (34) 2016 (42) 2017 (40) 2018 (37) 2019 (8)
Publication types (Num. hits)
article(438) book(3) incollection(22) inproceedings(1134) phdthesis(11)
Venues (Conferences, Journals, ...)
CoRR(66) CADE(55) LICS(52) CSL(41) LPAR(30) STACS(29) ILP(22) PODS(22) ACM Trans. Comput. Log.(21) ICALP(20) ISMIS(20) Studia Logica(18) J. Autom. Reasoning(17) J. Symb. Log.(17) ICDT(16) IJCAR(16) More (+10 of total 579)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1099 occurrences of 615 keywords

Results
Found 1608 publication records. Showing 1608 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
53Martin Grohe, Nicole Schweikardt The Succinctness of First-Order Logic on Linear Orders. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Li Dafa Intelligent CAI Course in the First-Order Logic. Search on Bibsonomy ICCAL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF tautology, theorem proving, first-order logic, resolution, natural deduction
50George Voutsadakis Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
50Nicole Schweikardt Arithmetic, first-order logic, and counting quantifiers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic
43Murdoch Gabbay, Aad Mathijssen One-and-a-halfth-order logic. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic
42Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Quantifier-free first order logic, state exploration, term-height reduction, model checking
41Drew Mellor A first order logic classifier system. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF blocks world, learning classifier system, first order logic, Xcs, relational learning, poker
41Keith Vanderveen, C. V. Ramamoorthy Anytime Reasoning in First-Order Logic. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF anytime reasoning, best-effort answers, bounded reasoning resources, S/sub 1/ approximation, S/sub 3/ approximation, most likely solution, first-order logic, formal logic, theorem provers, algorithm performance
38Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. Search on Bibsonomy Diagrams The full citation details ... 2008 DBLP  DOI  BibTeX  RDF natural language, first-order logic, errors, graphical representations
37Cristiano Calcagno, Philippa Gardner, Matthew Hague From Separation Logic to First-Order Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Manuel Bodirsky, Miki Hermann, Florian Richoux Complexity of Existential Positive First-Order Logic. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Existential Positive First-Order Logic, Computational Complexity, Constraint Satisfaction Problems
37Ian Bayley, Hong Zhu Specifying Behavioural Features of Design Patterns in First Order Logic. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Modelling, UML, Formal Specification, Formal Method, Object Orientation, Design Pattern, First Order Logic, Class Diagram, Sequence Diagram
37Chaoyi Pang, Guozhu Dong, Kotagiri Ramamohanarao Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SQL, maintenance, first-order logic, incremental algorithm, Database view
37Ke Wang, Li-Yan Yuan First-Order Logic Characterization of Program Properties. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
37Miklós Ajtai, Yuri Gurevich Datalog vs. First-Order Logic Search on Bibsonomy FOCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF finite structure, first-order languages, first-order expressible datalog query, compactness theorem, first-order logic, bounded
37Clark W. Barrett, David L. Dill, Aaron Stump Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Satisfiability, First-Order Logic, Decision Procedures, Propositional Satisfiability
36Kess F. M. Vermeulen More Computation Power for a Denotational Semantics for First Order Logic. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Juha Kontinen, Ville Nurmi Team Logic and Second-Order Logic. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Pedro M. Domingos Markov logic: a unifying language for knowledge and information management. Search on Bibsonomy CIKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF markov logic, first-order logic, markov networks
36Andreas Potthoff First-Order Logic on Finite Trees. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Miguel García-Díaz, Susana Nieva Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
36Frédéric Koriche A Logic for Approximate First-Order Reasoning. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF resource-bounded algorithms, first-order logic, approximate reasoning, multi-modal logics
36Ingo Dahn Interpretation of a Mizar-Like Logic in First-Order Logic. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Matthew Richardson, Pedro M. Domingos Markov logic networks. Search on Bibsonomy Machine Learning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Knowledge-based model construction, Pseudo-likelihood, Markov random fields, Satisfiability, First-order logic, Graphical models, Markov chain Monte Carlo, Inductive logic programming, Link prediction, Statistical relational learning, Markov networks, Log-linear models
36Paolo Volpe A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Verification of logic programs, languages of specification, first-order logic
35Phokion G. Kolaitis, Swastik Kopparty Random graphs and the parity quantifier. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 0-1 law, AC0, modular convergence, first-order logic
35Stéphane Demri, Rajeev Goré Tractable Transformations from Modal Provability Logics into First-Order Logic. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi Execution of TILCO Temporal Logic Specifications. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
34Kousha Etessami, Moshe Y. Vardi, Thomas Wilke First-Order Logic with Two Variables and Unary Temporal Logic. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Balder ten Cate, Johan van Benthem, Jouko A. Väänänen Lindstrom theorems for fragments of first-order logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Ricardo A. Munoz, Chao-Chih Yang Using Normal Deduction Graphs in Default Reasoning. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF normal deduction graph, Artificial intelligence, logic programming, inference, first-order logic, commonsense reasoning, default reasoning
34Matthew Might Logic-flow analysis of higher-order programs. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS
34Guilherme Bittencourt, Isabel Tonin A Proof Strategy Based on a Dual Representation. Search on Bibsonomy AISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF inference strategy, dual transformation, Topic: Logic and Symbolic Computing, theorem proving, First-order logic
33Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
33Jia Meng, Lawrence C. Paulson Translating Higher-Order Clauses to First-Order Clauses. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interactive theorem provers, Clause translation, First-order logic, Higher-order logic
33Benjamin Rossman On the constant-depth complexity of k-clique. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ac0, bounded variable hierarchy, k-clique, first-order logic, circuit complexity, constant-depth circuits
32Konstantine Arkoudas, Selmer Bringsjord Metareasoning for Multi-agent Epistemic Logics. Search on Bibsonomy CLIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Anuj Dawar, Steven Lindell, Scott Weinstein First Order Logic, Fixed Point Logic and Linear Order. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
32Michel Bidoit, Rolf Hennicker Proving Behavioural Theorems with Standard First-Order Logic. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Gergei Bana, Koji Hasebe, Mitsuhiro Okada Computational Semantics for Basic Protocol Logic - A Stochastic Approach. Search on Bibsonomy ASIAN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal methods, cryptographic protocols, first order logic, computational semantics
31Xiaofeng Yu, Wai Lam, Bo Chen An integrated discriminative probabilistic approach to information extraction. Search on Bibsonomy CIKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF information extraction, text mining, first-order logic, probabilistic graphical models
31Martin Grohe, Luc Segoufin On first-order topological queries. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF topological queries, first-order logic, Constraint databases
31Daniel Jackson 0001 Automating first-order relational logic. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model finding, relational logic, first-order logic, object models, SAT solvers, constraint solvers, Z specification, automatic analysis
31Venkita Subramonian, Christopher D. Gill A Generative Programming Framework for Adaptive Middleware. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF adaptive and reflective middleware, system aspects, generative programming, first order logic
30Frank Neven, Thomas Schwentick, Victor Vianu Finite state machines for strings over infinite alphabets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers
30Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek Logic programming revisited: Logic programs as inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF epistemological foundations, inductive definitions
30Thomas Schwentick, Klaus Barthelmann Local Normal Forms for First-Order Logic with Applications to Games and Automata. Search on Bibsonomy STACS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Florian Rabe First-Order Logic with Dependent Types. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Stéphane Demri, Hans de Nivelle Deciding Regular Grammar Logics with Converse Through First-Order Logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2005 DBLP  DOI  BibTeX  RDF relational translation, 2-variable fragment, guarded fragment, modal and temporal logics
29Andreas Abel 0001, Thierry Coquand, Ulf Norell Connecting a Logical Framework to a First-Order Logic Prover. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Aikaterini Mpagouli, Ioannis Hatzilygeroudis A Rule-Based System Implementing a Method for Translating FOL Formulas into NL Sentences. Search on Bibsonomy RuleML The full citation details ... 2009 DBLP  DOI  BibTeX  RDF First Order Logic, Rule-Based System, Natural Language Generation
29Joachim Biskup, Piero A. Bonatti Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
29Xudong He A method for analyzing properties of hierarchical predicate transition nets. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
29Jean Goubault-Larrecq Towards Producing Formally Checkable Security Proofs, Automatically. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dolev-Yao model, h1, security, model-checking, first-order logic, tree automata, proofs, Coq, Paradox
29Annalisa Di Deo, Dmitri Boulanger A Formal Background to Build Constraint Objects. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF constraint objects, first-order formula, database tuples, database objects, basic data types, constraint data model, spatial tools, Oracle 8, constraint programming, first-order logic, expressiveness, duality, constraint handling, spatial relations, data representation, linear constraints, relational data model, declarativeness, object-relational DBMS, constraint databases, cylindrical algebras, relational tables, free variables
29Jean-Marie Nicolas 0001 First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. Search on Bibsonomy SIGMOD Conference The full citation details ... 1978 DBLP  DOI  BibTeX  RDF logic and data bases, mutual dependencies, functional dependencies, multivalued dependencies, relational data base
28Anuj Dawar Model-Checking First-Order Logic: Automata and Locality. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov Verifying equivalence of memories using a first order logic theorem prover. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Haibo Zhao, Prashant Doshi A hierarchical framework for logical composition of web services. Search on Bibsonomy Service Oriented Computing and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probability, Hierarchy, Web service composition, First-order logic, Decision-theoretic planning
28Jaroslav Nesetril, Patrice Ossona de Mendez Linear time low tree-width partitions and algorithmic consequences. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bounded expansion, fraternal augmentation, coloration, first order logic, subgraph isomorphism, tree-width, graph minor
28Dipankar Sarkar, S. C. De Sarkar A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
28Djamel Berrabah, Faouzi Boufarès Constraints satisfaction problems in data modeling. Search on Bibsonomy CSTST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF databases, constraints, linear programming, first order logic, conflicts, conceptual schema
28Joanna Golinska-Pilarek, Ewa Orlowska Tableaux and Dual Tableaux: Transformation of Proofs. Search on Bibsonomy Studia Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF first-order logic with identity, tableaux systems, Rasiowa-Sikorski proof system
28Antonio Gavilanes-Franco A First-Order Logic for Partial Recursive Functions. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
28Henryk Rybinski On First-Order-Logic Databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
27Oliver Schoett An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract). Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely Axiomatizing Relativistic Dynamics without Conservation Postulates. Search on Bibsonomy Studia Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF relativistic dynamics, equivalence of mass and energy, foundation of relativity, first-order logic, axiomatization
27Adam Meissner Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language. Search on Bibsonomy SETN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parallel reasoning, PTTP, the Oz language, first-order logic
27Piotr Honko Classification of Complex Structured Objects on the Base of Similarity Degrees. Search on Bibsonomy RSEISP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF rough sets, similarity measures, first-order logic
27Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin Two-variable logic on data trees and XML reasoning. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data trees, first-order logic, decidability
27Dejing Dou, Paea LePendu Ontology-based integration for relational databases. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ontology, data integration, inference, first order logic, semantic integration
27Jan Jürjens, Mark Yampolskiy Code security analysis with assertions. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF code security analysis, cryto-based software, cryptographic protocols, first-order logic, assertions, automated theorem proving, C programs
27Drew Mellor Policy transfer with a relational learning classifier system. Search on Bibsonomy GECCO Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF blocks world, policy transfer, learning classifier system, first order logic, XCS, relational learning
27Cyrille Masson, François Jacquenet Mining Frequent Logical Sequences with SPIRIT-LoG. Search on Bibsonomy ILP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Data Mining, First Order Logic, Sequence Mining
27Markus Frick, Martin Grohe Deciding first-order properties of locally tree-decomposable structures. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF model-checking, locality, planar graphs, First-order logic, query evaluation, parameterized complexity, tree-width
27Jörg Lücke Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF First-Order Logic, Set Theory, Decision Procedures
27Marco Botta, Attilio Giordana, Roberto Piola Refining First Order Theories with Neural Networks. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Connectionist learning, Theory Refinement, First Order Logic, Soft Computing, Learning and Knowledge Discovery
27Keith Vanderveen, C. V. Ramamoorthy Partial instantiation theorem proving for distributed resource location. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF partial instantiation theorem prover, distributed resource location, INSTANT, clausal form, non clausal form, GSAT algorithm, propositional sentence, request matching, CORBA Object Trading Service, KIF, theorem proving, satisfiability, first order logic, KQML
27Johann Schumann, Reinhold Letz PARTHEO: A High-Performance Parallel Theorem Prover. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Warren Abstract Machine, message passing, Theorem proving, first-order logic, transputers, or-parallelism, model elimination, connection method
27Stefano Ferilli, Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Wim Van Laer, Luc De Raedt How to Upgrade Propositional Learners to First Order Logic: A Case Study. Search on Bibsonomy Machine Learning and Its Applications The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Stephan Kreutzer Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls. Search on Bibsonomy ICDT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Stéphane Demri, Rajeev Goré An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Joseph A. Goguen, Rod M. Burstall Institutions: Abstract Model Theory for Specification and Programming. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Joseph Y. Halpern, Vicky Weissman Using First-Order Logic to Reason about Policies. Search on Bibsonomy CSFW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Philipp Rümmer A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Flaviu Adrian Marginean Which First-Order Logic Clauses Can Be Learned Using Genetic Algorithms?. Search on Bibsonomy ILP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Kristina Sojakova, Florian Rabe Translating a Dependently-Typed Logic to First-Order Logic. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Albert Atserias, Phokion G. Kolaitis First-Order Logic vs. Fixed-Point Logic in Finite Set Theory. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Hubert Comon-Lundh, Véronique Cortier New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Luc De Raedt Probabilistic Logic Learning - A Tutorial Abstract. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
25Hendrik Blockeel Exposing the Causal Structure of Processes by Learning CP-Logic Programs. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Mikhail N. Rybakov, Dmitry Shkatov A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2018 DBLP  BibTeX  RDF
24Rodrigo A. Freire First-Order Logic and First-Order Functions. Search on Bibsonomy Logica Universalis The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Ralf Treinen First Order Data Types and First Order Logic. Search on Bibsonomy TACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher 0001, Boris Konev First-Order Temporal Verification in Practice. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF temporal logics of knowledge, theorem proving, resolution, first-order temporal logic
24Riccardo Rosati Towards First-Order Nonmonotonic Reasoning. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Joseph Y. Halpern, Vicky Weissman Using First-Order Logic to Reason about Policies. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Digital rights management
24Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick Existential second-order logic over graphs: Charting the tractability frontier. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory
Displaying result #1 - #100 of 1608 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license