Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448): Difference between revisions

Latest revision as of 10:59, 27 June 2024

scientific article

Language	Label	Description	Also known as
English	Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results	scientific article

Statements

instance of

scholarly article

0 references

title

Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (English)

@@ Property / describes a project that uses @@
+LAILA
@@ Property / describes a project that uses: LAILA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IMPACT
@@ Property / describes a project that uses: IMPACT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-007-9069-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1877903941
@@ Property / OpenAlex ID: W1877903941 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating cost-based abduction is NP-hard
@@ Property / cites work: Approximating cost-based abduction is NP-hard / rank @@
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Q5715664
@@ Property / cites work: Q5715664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707751
@@ Property / cites work: Q4707751 / rank @@
+Normal rank
@@ Property / cites work @@
+Cost-based abduction and MAP explanation
@@ Property / cites work: Cost-based abduction and MAP explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784855
@@ Property / cites work: Q4784855 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation and competition in ALIAS: A logic framework for agents that negotiate
+Normal rank
@@ Property / cites work @@
+LAILA: a language for coordinating abductive reasoning among logic agents
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Abduction and Deduction
+Normal rank
@@ Property / cites work @@
+Q4945230
@@ Property / cites work: Q4945230 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending answer sets for logic programming agents
+Normal rank
@@ Property / cites work @@
+Q4707746
@@ Property / cites work: Q4707746 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous active agents, I: Semantics
@@ Property / cites work: Heterogeneous active agents, I: Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715720
@@ Property / cites work: Q5715720 / rank @@
+Normal rank
@@ Property / cites work @@
+Succinctness as a source of complexity in logical formalisms
+Normal rank
@@ Property / cites work @@
+Q4736524
@@ Property / cites work: Q4736524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Negotiation and cooperation in multi-agent environments
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Q4708952
@@ Property / cites work: Q4708952 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-cooperative games
@@ Property / cites work: Non-cooperative games / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive logic programs with penalization: semantics, complexity and implementation
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484349
@@ Property / cites work: Q3484349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708936
@@ Property / cites work: Q4708936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4423514
@@ Property / cites work: Q4423514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4800171
@@ Property / cites work: Q4800171 / rank @@
+Normal rank
@@ Property / cites work @@
+Fusion of multi-agent preference orderings
@@ Property / cites work: Fusion of multi-agent preference orderings / rank @@
+Normal rank

Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448): Difference between revisions

Latest revision as of 10:59, 27 June 2024

Statements

Sitelinks

Mathematics(1 entry)