Simplified forms of computerized reasoning with distance semantics (Q545150): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2010.07.001
@@ Property / DOI: 10.1016/j.jal.2010.07.001 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5911155
@@ Property / zbMATH DE Number: 5911155 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distance semantics
@@ Property / zbMATH Keywords: distance semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated reasoning
@@ Property / zbMATH Keywords: automated reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-classical logics
@@ Property / zbMATH Keywords: non-classical logics / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniMaxSat
@@ Property / describes a project that uses: MiniMaxSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MaxSolver
@@ Property / describes a project that uses: MaxSolver / 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.1016/j.jal.2010.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1999586011
@@ Property / OpenAlex ID: W1999586011 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Distance-based paraconsistent logics
@@ Property / cites work: Distance-based paraconsistent logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with prioritized information by iterative aggregation of distance functions
+Normal rank
@@ Property / cites work @@
+Distance semantics for database repair
@@ Property / cites work: Distance semantics for database repair / rank @@
+Normal rank
@@ Property / cites work @@
+Voting by Committees
@@ Property / cites work: Voting by Committees / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for Max-SAT
@@ Property / cites work: Resolution for Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329185
@@ Property / cites work: Q4329185 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal-change integrity maintenance using tuple deletions
+Normal rank
@@ Property / cites work @@
+A sphere world semantics for default reasoning
@@ Property / cites work: A sphere world semantics for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive merging: quota and Gmin merging operators
+Normal rank
@@ Property / cites work @@
+Implementing semantic merging operators using binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Error Detecting and Error Correcting Codes
@@ Property / cites work: Error Detecting and Error Correcting Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375770
@@ Property / cites work: Q4375770 / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency
@@ Property / cites work: Measuring inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+\(\text{DA}^2\) merging operators
@@ Property / cites work: \(\text{DA}^2\) merging operators / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Q4787406
@@ Property / cites work: Q4787406 / rank @@
+Normal rank
@@ Property / cites work @@
+Another perspective on default reasoning
@@ Property / cites work: Another perspective on default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Distance semantics for belief revision
@@ Property / cites work: Distance semantics for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768759
@@ Property / cites work: Q2768759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246802
@@ Property / cites work: Q4246802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2010.07.001
@@ Property / DOI: 10.1016/J.JAL.2010.07.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:545150