- Recursive Markov Decision Processes and Recursive Stochastic Games
2015/05/06 by Kousha Etessami, Mihalis Yannakakis · 2 citations
Computer Science · Mathematics · #Algorithm #Complexity and Algorithms in Graphs #Computer science #Context (archaeology) #Decidability #Decision problem #Discrete mathematics #Distributed systems and fault tolerance #Formal Methods in Verification #Markov chain #Markov decision process #Markov process #Mathematical economics #Mathematical optimization #Mathematics #Recursion (computer science) #Undecidable problem
- Braid is undecidable
2014/12/02 by Linus Hamilton, Hamilton, Linus · 2 voices
Computer Science · Mathematics · #Algorithm #Artificial Intelligence in Games #Artificial intelligence #Braid #Braid group #Braid theory #Cellular Automata and Applications #Combinatorics #Computability, Logic, AI Algorithms #Computation #Computer science #DTIME #Description number #Discrete mathematics #EXPTIME #Embedding #Mathematics #NSPACE #Super-recursive algorithm #Theoretical computer science #Time hierarchy theorem #Turing machine #Undecidable problem #Universal Turing machine #cs.CC
- Uncertainty, incompleteness, chance, and design
2013/01/29 by Fernando Sols, Sols, Fernando · 1 voice
Arts and Humanities · Mathematics · Physics and Astronomy · #Calculus (dental) #Character (mathematics) #Computer science #Decidability #Discrete mathematics #Epistemology #Gödel #Gödel's incompleteness theorems #Indeterminacy (philosophy) #Mathematical economics #Mathematics #Philosophy #Philosophy and History of Science #Pure mathematics #Randomness #Scope (computer science) #Sequence (biology) #Undecidable problem #physics.hist-ph
- On rules with existential variables: Walking the decidability line
2011/04/19 by Jean-François Baget, Michel Leclère, Marie-Laure Mugnier +2 · 19 citations
Computer Science · Mathematics · #Advanced Database Systems and Queries #Artificial intelligence #Backward chaining #Chaining #Class (philosophy) #Computer science #Decidability #Discrete mathematics #Expert system #Forward chaining #Logical consequence #Mathematics #Semantic Web and Ontologies #Theoretical computer science #Undecidable problem
- Analyzing ambiguity of context-free grammars
2009/11/16 by Claus Brabrand, Robert Giegerich, Anders Møller · 1 citation
Biochemistry, Genetics and Molecular Biology · #Ambiguity #Artificial intelligence #Computer science #Context (archaeology) #Context-free grammar #Decidability #Definite clause grammar #Genomics and Chromatin Dynamics #Grammar #L-attributed grammar #Linguistics #Natural language processing #Parsing #Programming language #RNA and protein synthesis mechanisms #RNA modifications and cancer #Rule-based machine translation #Stochastic context-free grammar #Theoretical computer science #Tree-adjoining grammar #Undecidable problem
- 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)
- Consistency of a counterexample to Naimark's problem
2003/12/06 by Charles A. Akemann, Charles Akemann, Nik Weaver · 2 citations
Mathematics · #Advanced Operator Algebra Research #Advanced Topics in Algebra #Advanced Topology and Set Theory #Algebra over a field #Axiom #Computer science #Counterexample #Decidability #Discrete mathematics #Equivalence (formal languages) #Hilbert space #Mathematics #Pure mathematics #Set (abstract data type) #Statement (logic) #Undecidable problem #math.FA #math.LO #math.OA
- Finitary PCF is not decidable
2001/09/01 by Ralph Loader · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #semigroups and automata theory #Finitary #Undecidable problem #Decidability #Abstraction #Mathematics #Conjecture #Algebra over a field #Representation (politics) #Discrete mathematics #Combinatorics #Pure mathematics #Philosophy #Epistemology
- Principality and decidable type inference for finite-rank intersection types
1999/01/01 by A. J. Kfoury, J. B. Wells · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #semigroups and automata theory #Formal Methods in Verification #Decidability #Type inference #Intersection (aeronautics) #Undecidable problem #Rank (graph theory) #Unification #Term (time) #Combinatorics #Substitution (logic) #Type (biology) #Mathematics #Discrete mathematics #Inference #Computer science #Programming language #Artificial intelligence #Biology
- Undecidable boundedness problems for datalog programs
1995/11/01 by Gerd G Hillebrand, Gerd G. Hillebrand, Paris C Kanellakis +5 · 1 citation
Computer Science · Mathematics · #Algorithm #Arity #Bounded function #Combinatorics #Complexity and Algorithms in Graphs #Computer science #Datalog #Decidability #Discrete mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Partition (number theory) #Predicate (mathematical logic) #Programming language #Turing machine #Undecidable problem
- Reversibility and surjectivity problems of cellular automata
1994/02/01 by Jarkko Kari · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Algorithm #Cellular Automata and Applications #Cellular automaton #Combinatorics #DNA and Biological Computing #Decidability #Decision problem #Discrete mathematics #Domino #Function (biology) #Injective function #Mathematical proof #Mathematics #Surjective function #Undecidable problem #semigroups and automata theory
- Reversibility of 2D cellular automata is undecidable
1990/09/01 by Jarkko Kari · 6 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Algorithm #Asynchronous cellular automaton #Automata theory #Automaton #Block cellular automaton #Cellular Automata and Applications #Cellular automaton #Computability, Logic, AI Algorithms #Computer science #Continuous automaton #Continuous spatial automaton #DNA and Biological Computing #Decidability #Deterministic automaton #Discrete mathematics #Mathematics #Mobile automaton #Quantum finite automata #Reversible cellular automaton #Stochastic cellular automaton #Theoretical computer science #Timed automaton #Two-way deterministic finite automaton #Undecidable problem
- Variants of Robinson's essentially undecidable theoryR
1983/12/01 by James P. Jones, J. C. Shepherdson · 1 citation
Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Commutative Algebra and Its Applications #Undecidable problem #Mathematics #Axiom #Bar (unit) #Discrete mathematics #Algebra over a field #Combinatorics #Pure mathematics #Decidability #Geometry
- An inductive theory for free products of groups
1979/12/01 by Verena Huber-Dyson · 1 citation
Arts and Humanities · Computer Science · Mathematics · #Adjunction #Algebra over a field #Arity #Computer science #Decidability #Discrete mathematics #Elementary theory #Free product #Geometric and Algebraic Topology #Group (periodic table) #Linguistics and Discourse Analysis #Mathematics #Morphism #Programming language #Pure mathematics #Unary operation #Undecidable problem #semigroups and automata theory
- Some decision problems related to the reachability problem for Petri nets
1976/10/01 by Toshiro Araki, Tadao Kasami · 1 citation
Computer Science · Mathematics · #Algorithm #Computer science #Decidability #Decision problem #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Mathematics #Petri Nets in System Modeling #Petri net #Process architecture #Reachability #Reachability problem #Stochastic Petri net #Theoretical computer science #Undecidable problem #semigroups and automata theory
- Some undecidable problems involving elementary functions of a real variable
1969/01/01 by Daniel Richardson · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Numerical Methods and Algorithms #Polynomial and algebraic computation #Multiplication (music) #Undecidable problem #Mathematics #Elementary function #Variable (mathematics) #Expression (computer science) #Constant (computer programming) #Identity (music) #Function (biology) #Subtraction #Set (abstract data type) #Real number #Discrete mathematics #Algebra over a field #Arithmetic #Pure mathematics #Combinatorics #Computer science #Mathematical analysis #Decidability #Physics
- On a Theorem of Cobham Concerning Undecidable Theories
1966/01/01 · 2 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Undecidable problem #Computer science #Calculus (dental) #Mathematics #Discrete mathematics #Algorithm #Decidability