- The Janus System: Multi-paradigm Programming in Prolog and Python
2023/08/28 by Theresa Swift, Carl Andersen · 2 voices
Computer Science · #Artificial intelligence #Computer science #Constraint programming #Janus #Logic programming #Natural Language Processing Techniques #Programming language #Prolog #Python (programming language) #Software Engineering Research #Theoretical computer science #Topic Modeling
- Fifty Years of Prolog and Beyond
2022/01/26 by Philipp Körner, Körner, Philipp, Michael Leuschel +23 · 3 voices · 7 citations
Computer Science · #Computer science #Datalog #Formal Methods in Verification #Implementation #Logic programming #Logic, programming, and type systems #Programming language #Prolog #Software Engineering Research #Software engineering #Software portability #cs.PL
- Parallel Logic Programming: A Sequel
2021/11/22 by Agostino Dovier, Dovier, Agostino, Andrea Formisano +9 · 1 voice
Computer Science · #Advanced Database Systems and Queries #Computer science #Inductive programming #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Pace #Parallel computing #Parallelism (grammar) #Programming language #Programming paradigm #cs.AI #cs.DC #cs.LO #cs.PL
- grASP: A Graph Based ASP-Solver and Justification System
2021/04/02 by Fang Li, Huaduo Wang, Li, Fang +3 · 2 citations
Computer Science · #Answer set programming #Artificial Intelligence (cs.AI) #Artificial intelligence #Computer science #Dependency (UML) #Dependency graph #FOS: Computer and information sciences #GRASP #Graph #Knowledge representation and reasoning #Literal (mathematical logic) #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #Problem solver #Programming language #Representation (politics) #Set (abstract data type) #Solver #Theoretical computer science #cs.AI
- AppLP: A Dialogue on Applications of Logic Programming
2017/04/07 by David S. Warren, Yanhong A. Liu, Warren, David S. +1 · 1 voice
Computer Science · #Advanced Database Systems and Queries #Computer science #Logic programming #Logic, Reasoning, and Knowledge #Programming language #Semantic Web and Ontologies #cs.AI #cs.LO #cs.PL #cs.SE
- Propositions as types
2015/11/23 by Philip Wadler · 2 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Computer science #Programming language #Computation #Logic programming #Theoretical computer science
- Meta-programming With Built-in Type Equality
2008/02/01 by Tim Sheard, Emir Pasalic · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Mega- #Programming language #Computer science #Functional logic programming #ENCODE #Data type #Answer set programming #Logic programming #First-generation programming language #Programming domain #Programming paradigm #Inductive programming #Type (biology) #Set (abstract data type) #Point (geometry) #Theoretical computer science #Mathematics
- 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
- ASSAT: computing answer sets of a logic program by SAT solvers
2004/06/08 by Fangzhen Lin, Yuting Zhao · 1 citation
Computer Science · #Algorithm #Answer set programming #Circumscription #Computer science #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #Operational semantics #Programming language #Satisfiability #Semantics (computer science) #Solver #Stable model semantics #Theoretical computer science
- Patterns for Prolog Programming
2002/01/01 by Leon Sterling · 1 citation
Computer Science · Mathematics · #Abstraction #Computer science #Constraint programming #Control flow #Declarative programming #Inductive programming #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Multi-Agent Systems and Negotiation #Programming language #Programming paradigm #Prolog #Range (aeronautics) #Theoretical computer science
- An abstract, argumentation-theoretic approach to default reasoning
1997/06/01 by A. Bondarenko, A. G. Bondarenko, P.M. Dung +5 · 27 citations
Computer Science · Mathematics · #Answer set programming #Argumentation theory #Artificial intelligence #Autoepistemic logic #Circumscription #Computer science #Default logic #Defeasible estate #Defeasible reasoning #Denotational semantics #Description logic #Epistemology #Extension (predicate logic) #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical economics #Mathematics #Modal #Modal logic #Multi-Agent Systems and Negotiation #Multimodal logic #Non-monotonic logic #Operational semantics #Programming language #Semantics (computer science) #Set (abstract data type) #Stable model semantics #Theoretical computer science #Well-founded semantics
- A new logical characterisation of stable models and answer sets
1997/01/01 by David Pearce · 1 citation
Computer Science · #Answer set programming #Artificial intelligence #Autoepistemic logic #Circumscription #Computer science #Conservative extension #Constructive #Denotational semantics #Description logic #Extension (predicate logic) #Higher-order logic #Inference #Intuitionistic logic #Linear logic #Logic programming #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multimodal logic #Non-monotonic logic #Operational semantics #Process (computing) #Programming language #Rule of inference #Semantic Web and Ontologies #Semantics (computer science) #Set (abstract data type) #Stable model semantics #Theoretical computer science #Well-founded semantics
- Grammatically biased learning: Learning logic programs using an explicit antecedent description language
1994/08/01 by William W. Cohen, William W Cohen · 1 citation
Computer Science · Mathematics · Psychology · #AI-based Problem Solving and Planning #Antecedent (behavioral psychology) #Artificial intelligence #Computer science #Field (mathematics) #Logic programming #Logic, Reasoning, and Knowledge #Mathematics #Natural language processing #Psychology #Semantic Web and Ontologies #sort
- Classical negation in logic programs and disjunctive databases
1991/08/01 by Michael Gelfond, Vladimir Lifschitz · 3 citations
Computer Science · #Advanced Algebra and Logic #Artificial intelligence #Autoepistemic logic #Computer science #Datalog #Deductive database #Description logic #Knowledge representation and reasoning #Logic programming #Logic, Reasoning, and Knowledge #Multimodal logic #Negation #Negation as failure #Programming language #Semantic Web and Ontologies #Semantics (computer science) #Stable model semantics #Theoretical computer science
- Solving large combinatorial problems in logic programming
1990/01/01 by Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Computer science #Concurrent constraint logic programming #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint logic programming #Constraint programming #Constraint satisfaction #Declarative programming #Fifth-generation programming language #Firmware #Functional logic programming #Inductive programming #Logic programming #Logic, programming, and type systems #Mathematical optimization #Mathematics #Model-Driven Software Engineering Techniques #Programming language #Programming paradigm #Prolog #Theoretical computer science
- A polymorphic type system for prolog
1984/08/01 by Alan Mycroft, Richard A. O'Keefe, Richard O’Keefe · 11 citations
Computer Science · Mathematics · #Artificial intelligence #Computer science #Formal Methods in Verification #Inference #Interpreter #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Programming language #Prolog #Resolution (logic) #Scheme (mathematics) #Theoretical computer science #Type (biology) #Type inference
- Logic and programming languages
1977/09/01 by Dana Scott · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #semigroups and automata theory #Logic, Reasoning, and Knowledge #Computer science #Field (mathematics) #Computability #Computable function #Process (computing) #Theoretical computer science #Finite-state machine #Logic programming #Programming language #Algorithm #Mathematics
- Programming the logic theory machine
1957/01/01 by Allen Newell, James Shaw · 3 citations
Computer Science · Mathematics · #Semantic Web and Ontologies #Computer science #Mathematical proof #Logic programming #Programming language #Mathematical logic #Computational logic #Proof theory #Theoretical computer science #Mathematics #Description logic