- Propositional Interpretability in Artificial Intelligence
2025/01/27 by David J. Chalmers, Chalmers, David J. · 3 voices · 8 citations
Computer Science · #Artificial intelligence #Computer science #Explainable Artificial Intelligence (XAI) #Interpretability #Programming language #Propositional calculus #cs.AI
- SAT Competition 2020
2021/08/04 by Nils Froleyks, Marijn Heule, Marijn J. H. Heule +5 · 14 citations
Computer Science · #AI-based Problem Solving and Planning #Algorithm #Artificial intelligence #Benchmark (surveying) #Boolean function #Boolean satisfiability problem #Competition (biology) #Computer science #Constraint Satisfaction and Optimization #Machine Learning and Algorithms #Maximum satisfiability problem #Programming language #Propositional calculus #Satisfiability #Selection (genetic algorithm) #Theoretical computer science
- Analyzing Context-Free Grammars Using an Incremental SAT Solver
2008/08/12 by Roland Axelsson, Keijo Heljanko, Martin Lange · 1 citation
Computer Science · Mathematics · #Algorithm #Ambiguity #Artificial intelligence #Boolean satisfiability problem #Bounded function #Computer science #Constraint Satisfaction and Optimization #Correctness #Decidability #Description logic #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Intermediate logic #Logic, Reasoning, and Knowledge #Mathematics #Programming language #Propositional calculus #Propositional formula #Propositional variable #Rule-based machine translation #Satisfiability #Theoretical computer science #Undecidable problem #Universality (dynamical systems)
- Answer Sets for Propositional Theories
2005/01/01 by Paolo Ferraris · 1 citation
Computer Science · Mathematics · #Algebra over a field #Answer set programming #Antecedent (behavioral psychology) #Computer science #Denotational semantics #Discrete mathematics #Extension (predicate logic) #Intuitionistic logic #Logic programming #Logic, Reasoning, and Knowledge #Mathematics #Multi-Agent Systems and Negotiation #Operational semantics #Programming language #Propositional calculus #Pure mathematics #Semantic Web and Ontologies #Semantics (computer science) #Set (abstract data type) #Stable model semantics #Theoretical computer science #Well-founded semantics
- Complexity of Many-valued Logics
2003/01/01 by Reiner Hähnle · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #semigroups and automata theory #T-norm fuzzy logics #Mathematics #Propositional variable #Context (archaeology) #Theoretical computer science #Propositional calculus #Computer science #Intermediate logic #Description logic #Discrete mathematics #Artificial intelligence
- Computational types from a logical perspective
1998/03/01 by P. N. Benton, Gavin Bierman, Valeria de Paiva · 2 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Curry–Howard correspondence #Natural deduction #Cartesian closed category #Sequent calculus #Computer science #Calculus (dental) #Monad (category theory) #Lambda calculus #Intuitionistic logic #Typed lambda calculus #Confluence #Propositional calculus #Algebra over a field #Simply typed lambda calculus #Linear logic #Church encoding #Mathematics #Discrete mathematics #Programming language #Pure mathematics #Theoretical computer science
- Principia Mathematica to *56
1997/09/11 by Alfred North Whitehead, Bertrand Russell · 2 citations
Mathematics · #Argument (complex analysis) #Calculus (dental) #Computer science #Discrete mathematics #Epistemology #Foundations of mathematics #History and Theory of Mathematics #Intuitionistic logic #Mathematical practice #Mathematics #Philosophy #Philosophy of mathematics #Propositional calculus #Section (typography)
- A Threshold for Unsatisfiability
1996/12/01 by Andreas Goerdt · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Graph Theory Research #Boolean satisfiability problem #Combinatorics #Computer science #Conjunctive normal form #Constraint Satisfaction and Optimization #Discrete mathematics #Graph #Mathematics #Probabilistic logic #Propositional calculus #Propositional formula #Propositional variable #Satisfiability #Statistics #Theoretical computer science
- Nonmonotonic reasoning, preferential models and cumulative logics
1990/07/01 by Sarit Kraus, Daniel Lehmann, Menachem Magidor · 64 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Artificial intelligence #Belief revision #Classical logic #Computer science #Discrete mathematics #Epistemology #Extension (predicate logic) #Logic, Reasoning, and Knowledge #Mathematics #Monotonic function #Non-monotonic logic #Predicate (mathematical logic) #Probabilistic logic #Programming language #Property (philosophy) #Propositional calculus #Semantic Web and Ontologies #Theoretical computer science
- Principal type-schemes and condensed detachment
1990/03/01 by J. Roger Hindley, David Meredith · 2 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Combinatory logic #Modus ponens #Mathematical proof #Mathematics #Axiom #Propositional calculus #Intuitionistic logic #Rule of inference #Substitution (logic) #Natural deduction #Syllogism #Type (biology) #Algebra over a field #Calculus (dental) #Discrete mathematics #Computer science #Artificial intelligence #Pure mathematics #Fuzzy logic #Programming language #Linguistics #Philosophy
- The complexity of propositional linear temporal logics
1985/07/01 by A. P. Sistla, A. Prasad Sistla, E. M. Clarke · 39 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algorithm #Artificial intelligence #Computational complexity theory #Computer science #Description logic #Discrete mathematics #Intermediate logic #Linear temporal logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Monoidal t-norm logic #PSPACE #Propositional calculus #Propositional variable #Satisfiability #T-norm fuzzy logics #Theoretical computer science #Well-formed formula