The independent choice logic for modelling multiple agents under uncertainty
From MaRDI portal
Publication:1391346
Recommendations
- A decidable multi-agent logic with iterations of upper and lower probability operators
- Multiple agent possibilistic logic
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Reasoning with Multiple-Agent Possibilistic Logic
- scientific article; zbMATH DE number 2064466
- The Independent Choice Logic and Beyond
- Specifying and reasoning about uncertain agents
- Complexity of logics for multi-agent systems with restricted modal context
- scientific article; zbMATH DE number 64163
- Axiomatization of stochastic models for choice under uncertainty
Cites work
- scientific article; zbMATH DE number 4154239 (Why is no real title available?)
- scientific article; zbMATH DE number 3664336 (Why is no real title available?)
- scientific article; zbMATH DE number 3718924 (Why is no real title available?)
- scientific article; zbMATH DE number 25189 (Why is no real title available?)
- scientific article; zbMATH DE number 49156 (Why is no real title available?)
- scientific article; zbMATH DE number 49749 (Why is no real title available?)
- scientific article; zbMATH DE number 89002 (Why is no real title available?)
- scientific article; zbMATH DE number 1149416 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 3084669 (Why is no real title available?)
- A computational theory of decision networks
- Abducing through negation as failure: stable models within the independent choice logic
- An analysis of first-order logics of probability
- Constraint nets: a semantic model for hybrid dynamic systems
- Knowledge, probability, and adversaries
- Probabilistic Horn abduction and Bayesian networks
- Representing plans under uncertainty. A logic of time, chance, and action
- The complexity of two-person zero-sum games in extensive form
- Three-valued nonmonotonic formalisms and semantics of logic programs
Cited in
(76)- P-log: refinement and a new coherency condition
- A survey of directed entity-relation-based first-order probabilistic languages
- Partially observable game-theoretic agent programming in Golog
- Representation and reasoning about evolutions of the world in the context of reasoning about actions
- Mining the semantic web statistical learning for next generation knowledge bases
- A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- SLAP: specification logic of actions with probability
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Constraint-based probabilistic modeling for statistical abduction
- Semirings for probabilistic and neuro-symbolic logic programming
- A semantics for hybrid probabilistic logic programs with function symbols
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- Answer sets and qualitative decision making
- Cost-bounded argumentation
- Tightly integrated probabilistic description logic programs for representing ontology mappings
- Probabilistic description logic programs
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- A quantitative approach to belief revision in structured probabilistic argumentation
- Practical solution techniques for first-order MDPs
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
- Reference classes and relational learning
- Learning probabilistic logic models from probabilistic examples
- Qualitative choice logic
- Causes and explanations in the structural-model approach: Tractable cases
- Learning Effect Axioms via Probabilistic Logic Programming
- Applying the information bottleneck to statistical relational learning
- On efficiently estimating the probability of extensions in abstract argumentation frameworks
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
- Languages for probabilistic modeling over structured and relational domains
- Competing hypotheses and abductive inference
- Super-Solutions
- Stochastic dynamic programming with factored representations
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- The distribution semantics for normal programs with function symbols
- Distributional logic programming for Bayesian knowledge representation
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
- Multi-agent influence diagrams for representing and solving games.
- Tableau reasoning for description logics and its extension to probabilities
- ALLPAD: approximate learning of logic programs with annotated disjunctions
- Logic-based decision support for strategic environmental assessment
- The Independent Choice Logic and Beyond
- A Logical Approach to Qualitative and Quantitative Reasoning
- Stochastic relational processes: efficient inference and applications
- Explanations as programs in probabilistic logic programming
- New Advances in Logic-Based Probabilistic Modeling by PRISM
- Obligation as optimal goal satisfaction
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- On the complexity of probabilistic abstract argumentation frameworks
- Probabilistic inductive constraint logic
- Analyzing real-world SPARQL queries and ontology-based data access in the context of probabilistic data
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Representing and planning with interacting actions and privacy
- Probabilistic description logic programs under inheritance with overriding for the semantic Web
- Probabilistic reasoning with answer sets
- Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- A Survey of First-Order Probabilistic Models
- Lifted discriminative learning of probabilistic logic programs
- Lifted variable elimination for probabilistic logic programming
- Structure learning of probabilistic logic programs by searching the clause space
- Learning hierarchical probabilistic logic programs
- MAP inference for probabilistic logic programming
- Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Open-world probabilistic databases: semantics, algorithms, complexity
- ILP turns 20. Biography and future challenges
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Causal inference in cplint
- PR-OWL - a language for defining probabilistic ontologies
- Explanation-friendly query answering under uncertainty
- Negative probabilities in probabilistic logic programs
- On the complexity of propositional and relational credal networks
- The complexity of Bayesian networks specified by propositional and relational languages
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
This page was built for publication: The independent choice logic for modelling multiple agents under uncertainty
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1391346)
