The independent choice logic for modelling multiple agents under uncertainty
From MaRDI portal
Publication:1391346
DOI10.1016/S0004-3702(97)00027-1zbMath0902.03017WikidataQ57275769 ScholiaQ57275769MaRDI QIDQ1391346
Publication date: 22 July 1998
Published in: Artificial Intelligence (Search for Journal in Brave)
influence diagramsgamespossible-worlds semanticslogic programindependent choice logicstructured Markov decision processesconsequence of choicesconsequences of an actionmodelling tool for dynamic environments with uncertaintymulti-agent decision-making under uncertainty
2-person games (91A05) Logic in artificial intelligence (68T27) Logic programming (68N17) Decision theory for games (91A35) Other applications of logic (03B80)
Related Items
A quantitative approach to belief revision in structured probabilistic argumentation ⋮ Practical solution techniques for first-order MDPs ⋮ Distributional logic programming for Bayesian knowledge representation ⋮ A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics ⋮ The distribution semantics for normal programs with function symbols ⋮ Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Explanations as programs in probabilistic logic programming ⋮ Lifted Variable Elimination for Probabilistic Logic Programming ⋮ Obligation as optimal goal satisfaction ⋮ Analyzing real-world SPARQL queries and ontology-based data access in the context of probabilistic data ⋮ PR-OWL - a language for defining probabilistic ontologies ⋮ Causal inference in cplint ⋮ Super-Solutions ⋮ On the Complexity of Probabilistic Abstract Argumentation Frameworks ⋮ Structure learning of probabilistic logic programs by searching the clause space ⋮ Mining the semantic web statistical learning for next generation knowledge bases ⋮ Stochastic relational processes: efficient inference and applications ⋮ Constraint-based probabilistic modeling for statistical abduction ⋮ Lifted discriminative learning of probabilistic logic programs ⋮ On efficiently estimating the probability of extensions in abstract argumentation frameworks ⋮ A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases ⋮ Tightly integrated probabilistic description logic programs for representing ontology mappings ⋮ Reference classes and relational learning ⋮ Multi-agent influence diagrams for representing and solving games. ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ ILP turns 20. Biography and future challenges ⋮ Applying the information bottleneck to statistical relational learning ⋮ A Logical Approach to Qualitative and Quantitative Reasoning ⋮ Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness ⋮ The complexity of Bayesian networks specified by propositional and relational languages ⋮ Learning Effect Axioms via Probabilistic Logic Programming ⋮ On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability ⋮ SLAP: specification logic of actions with probability ⋮ MAP Inference for Probabilistic Logic Programming ⋮ Causes and explanations in the structural-model approach: Tractable cases ⋮ A semantics for hybrid probabilistic logic programs with function symbols ⋮ Open-world probabilistic databases: semantics, algorithms, complexity ⋮ A Survey of First-Order Probabilistic Models ⋮ Negative probabilities in probabilistic logic programs ⋮ On the complexity of propositional and relational credal networks ⋮ Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies ⋮ Description logic programs under probabilistic uncertainty and fuzzy vagueness ⋮ Cost-bounded argumentation ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ Logic–based decision support for strategic environmental assessment ⋮ A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages ⋮ Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings ⋮ Competing hypotheses and abductive inference ⋮ Probabilistic description logic programs ⋮ Probabilistic reasoning with answer sets ⋮ New Advances in Logic-Based Probabilistic Modeling by PRISM ⋮ The Independent Choice Logic and Beyond ⋮ Representing and planning with interacting actions and privacy ⋮ ALLPAD: approximate learning of logic programs with annotated disjunctions ⋮ Learning probabilistic logic models from probabilistic examples ⋮ Partially observable game-theoretic agent programming in Golog ⋮ Probabilistic inductive constraint logic ⋮ The PITA system: Tabling and answer subsumption for reasoning under uncertainty ⋮ Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web ⋮ CP-logic: A language of causal probabilistic events and its relation to logic programming ⋮ P-log: refinement and a new coherency condition ⋮ Learning hierarchical probabilistic logic programs ⋮ A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ Stochastic dynamic programming with factored representations ⋮ Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics ⋮ Representation and reasoning about evolutions of the world in the context of reasoning about actions ⋮ Answer sets and qualitative decision making ⋮ Qualitative choice logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constraint nets: a semantic model for hybrid dynamic systems
- An analysis of first-order logics of probability
- Three-valued nonmonotonic formalisms and semantics of logic programs
- The complexity of two-person zero-sum games in extensive form
- Probabilistic Horn abduction and Bayesian networks
- Representing plans under uncertainty. A logic of time, chance, and action
- A computational theory of decision networks
- Knowledge, probability, and adversaries
- Abducing through negation as failure: stable models within the independent choice logic
