Modeling deep disagreement in default logic. (English) Zbl 07870380
MSC:
03-XX
Found 300 Documents (Results 1–100)
Connexive logic, probabilistic default reasoning, and compound conditionals. (English) Zbl 07830167
MSC:
03-XX
On weak filters and ultrafilters: set theory from (and for) knowledge representation. (English) Zbl 1515.03199
A modal logic of defeasible reasoning. (English) Zbl 1484.68227
Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 68-80 (2021).
On the dynamics of structured argumentation: modeling changes in default justification logic. (English) Zbl 07266055
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 222-241 (2020).
Probability propagation in selected Aristotelian syllogisms. (English) Zbl 1535.03149
Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 419-431 (2019).
MSC:
03B48
Reasoning about uncertainty. 2nd edition. (English) Zbl 1368.68001
Cambridge, MA: MIT Press (ISBN 978-0-262-53380-5). xv, 488 p. (2017).
First-order probabilistic logics and their applications. (English) Zbl 1524.03019
Ghilezan, Silvia (ed.), Logic in computer science. II. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 18(26), 37-78 (2015).
In all, but finitely many, possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. (English) Zbl 1465.68241
Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 117-126 (2015).
Transitive reasoning with imprecise probabilities. (English) Zbl 1465.68239
Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 95-105 (2015).
Universal logic as a science of patterns. (English) Zbl 1372.03025
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 145-189 (2015).
Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning. (English) Zbl 1350.03003
Trends in Logic – Studia Logica Library 38. Cham: Springer (ISBN 978-3-319-00791-5/hbk; 978-3-319-00792-2/ebook). xviii, 438 p. (2014).
Reviewer: Louis F. Goble (Salem)
Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation. (English) Zbl 1264.68174
MSC:
68T37
Overriding subsuming rules. (English) Zbl 1264.68170
Semi-stable semantics. (English) Zbl 1267.68223
Reviewer: Wolfgang Faber (Wien)
Generalizing inference rules in a coherence-based probabilistic default reasoning. (English) Zbl 1242.68330
MSC:
68T37
The complexity of reasoning for fragments of default logic. (English) Zbl 1267.68222
Reviewer: Wolfgang Faber (Wien)
What’s in a default? Thoughts on the nature and role of defaults in nonmonotonic reasoning. (English) Zbl 1259.68185
Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 89-109 (2011).
MSC:
68T27
The induction ability of qualitative plausibility measures in default reasoning. (Chinese. English summary) Zbl 1249.68255
MSC:
68T37
A structuralist theory of belief revision. (English) Zbl 1226.03030
Reviewer: Éric Martin (Sydney)
Overriding subsuming rules. (English) Zbl 1341.68206
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 532-544 (2011).
Quasi conjunction and inclusion relation in probabilistic default reasoning. (English) Zbl 1341.68255
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 497-508 (2011).
MSC:
68T37
\(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem. (English) Zbl 1216.68268
MSC:
68T27
From C-believed propositions to the causal calculator. (English) Zbl 1218.68164
Dechter, Rina (ed.) et al., Heuristics, probability and causality. A tribute to Judea Pearl. London: College Publications (ISBN 978-1-90497-66-6/hbk; 978-1-904987-65-9/pbk). Tributes 11, 407-413 (2010).
Measures of inconsistency and defaults. (English) Zbl 1205.68422
MSC:
68T37
Support vector machines for default prediction of SMEs based on technology credit. (English) Zbl 1173.90458
Probability logics. (English) Zbl 1224.03005
Ognjanović, Zoran (ed.), Logic in computer science. Beograd: Matematički Institut SANU (ISBN 978-86-80593-40-1/pbk). Zbornik Radova (Beograd) 12(20), 35-111 (2009).
Reviewer: Branislav Boričić (Beograd)
A note on cumulative stereotypical reasoning. (English) Zbl 1245.03045
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 590-601 (2009).
Handling uncertainty and defeasibility in a possibilistic logic setting. (English) Zbl 1184.68508
MSC:
68T37
A logic with approximate conditional probabilities that can model default reasoning. (English) Zbl 1184.68520
Probabilistic description logic programs under inheritance with overriding for the semantic Web. (English) Zbl 1184.68517
Combining answer set programming with description logics for the semantic web. (English) Zbl 1183.68595
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning. (English) Zbl 1188.68275
A fuzzy logic and default reasoning model of social norms and equilibrium selection in games under unforeseen contingencies. (English) Zbl 1197.91034
Computing constrained default extensions – a constraint satisfaction problem. (English) Zbl 1199.68361
Weak implication in terms of conditional uncertainty measures. (English) Zbl 1148.68482
Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 139-150 (2007).
Consistency defaults. (English) Zbl 1125.03022
Reviewer: David Makinson (London)
Defaults with priorities. (English) Zbl 1125.03021
Reviewer: David Makinson (London)
A graph-based approach for computing constrained and rational default extensions. (English) Zbl 1119.03333
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs. (English) Zbl 1088.68165
Two theories of nonmonotonic reasoning. (English) Zbl 1227.68106
Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. London: College Publications (ISBN 1-904987-11-7/pbk; 1-904987-25-7/hbk). Tributes 1, 265-307 (2005).
Reviewer: Ion Iancu (Craiova)
Grounded consequence for defeasible logic. (English) Zbl 1118.03001
Cambridge: Cambridge University Press (ISBN 978-0-521-84205-1/hbk). xii, 118 p. £ 30.00; $ 55.00; $ 44.00/e-book (2005).
Reviewer: David Makinson (London)
Bridges from classical to nonmonotonic logic. (English) Zbl 1084.03001
Texts in Computing 5. London: King’s College Publications (ISBN 1-904987-00-1). xvi, 216 p. (2005).
Reviewer: Neculai Curteanu (Iaşi)
An overview of possibilistic handling of default reasoning, with experimental studies. (English) Zbl 1079.03505
Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations. (English) Zbl 1079.03523
Any-world assumptions in logic programming. (English) Zbl 1077.68013
MSC:
68N17
Explanatory nonmonotonic reasoning. (English) Zbl 1092.68092
Advances in Logic 4. Hackensack, NJ: World Scientific (ISBN 981-256-101-3/hbk; 978-981-256-780-2/ebook). xiv, 408 p. (2005).
Reviewer: Christian Posthoff (St. Augustine)
Reasoning with power defaults. (English) Zbl 1082.68109
A logical study on qualitative default reasoning with probabilities. (English) Zbl 1273.03076
Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 376-388 (2003).
Nonmonotonic inconsistency. (English) Zbl 1082.03508
A method of finding priorities in default theories. (Chinese. English summary) Zbl 1046.03016
Probabilistic logic programming with inheritance. (English) Zbl 1098.68546
Downey, Rod (ed.) et al., Proceedings of the the 7th and 8th Asian logic conference. Proceedings of the ICM 2002 satellite conferences on mathematical logic, Hsi-Tou, Taiwan, June 6–10, 1999 and Chongqing, China, August 29–September 2, 2002. River Edge, NJ: World Scientific (ISBN 981-238-261-5/hbk). 409-422 (2003).
System JLZ – rational default reasoning by minimal ranking constructions. (English) Zbl 1076.68076
MSC:
68T27
Reasoning about uncertainty. (English) Zbl 1090.68105
Cambridge, MA: MIT Press (ISBN 0-262-08320-5/hbk). xiv, 483 p. (2003).
Fixed-parameter tractability of disjunction-free default reasoning. (English) Zbl 1025.68093
MSC:
68T37
Extending the maximum entropy approach to variable strength defaults. (English) Zbl 1045.68136
MSC:
68T37
Realistic desires. (English) Zbl 1060.68116
Handling conditionals adequately in uncertain reasoning and belief revision. (English) Zbl 1106.68410
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System \(P\). (English) Zbl 1038.03023
On the computational complexity of assumption-based argumentation for default reasoning. (English) Zbl 1043.68097
Logic programming and knowledge representation—The A-Prolog perspective. (English) Zbl 0995.68022
MSC:
68N17
Operators and laws for combining preference relations. (English) Zbl 1008.91027
Reviewer: A.Rappoport (Landau)
Filter Results by …
Document Type
- Journal Articles (193)
- Collection Articles (90)
- Books (17)
all
top 5
Author
- Schaub, Torsten H. (16)
- Antoniou, Grigoris (9)
- Prade, Henri M. (9)
- Marek, V. Wiktor (8)
- Delgrande, James P. (7)
- Lukasiewicz, Thomas (7)
- Truszczyński, Mirosław (7)
- Dubois, Didier (6)
- Meyer, John-Jules Charles (6)
- Sanfilippo, Giuseppe (6)
- van der Hoek, Wiebe (6)
- Ben-Eliyahu-Zohary, Rachel (5)
- Benferhat, Salem (5)
- Besnard, Philippe (5)
- Brewka, Gerhard (5)
- Gilio, Angelo (5)
- Halpern, Joseph Yehuda (5)
- Inoue, Katsumi (5)
- Lifschitz, Vladimir (5)
- Treur, Jan (5)
- Yager, Ronald R. (5)
- Amati, Gianni (4)
- Carlucci Aiello, Luigia (4)
- Engelfriet, Joeri (4)
- Gottlob, Georg (4)
- Liberatore, Paolo (4)
- Lupea, Mihaiela (4)
- Marković, Zoran M. (4)
- Ognjanović, Zoran (4)
- Pirri, Fiora (4)
- Rašković, Miodrag D. (4)
- Weydert, Emil (4)
- Zhao, Xishun (4)
- Bochman, Alexander (3)
- Ding, Decheng (3)
- Grégoire, Éric (3)
- Horty, John F. (3)
- Kautz, Henry A. (3)
- Kern-Isberner, Gabriele (3)
- Lin, Zuoquan (3)
- Linke, Thomas (3)
- Pfeifer, Niki (3)
- Prakken, Henry (3)
- Schurz, Gerhard (3)
- Selman, Bart (3)
- Subrahmanian, V. S. (3)
- Thielscher, Michael (3)
- Tompits, Hans (3)
- Toni, Francesca (3)
- Angiulli, Fabrizio (2)
- Benhammadi, F. (2)
- Bourne, Rachel A. (2)
- Brüning, Stefan (2)
- Cadoli, Marco (2)
- Carnielli, Walter Alexandre (2)
- Doyle, Jon (2)
- Eiter, Thomas (2)
- Etherington, David W. (2)
- Farreny, Henri (2)
- Gabbay, Dov M. (2)
- Gelfond, Michael (2)
- Ginsberg, Matthew L. (2)
- Janhunen, Tomi (2)
- Kakas, Antonis C. (2)
- Kaminski, Michael (2)
- Konolige, Kurt (2)
- Koutras, Costas D. (2)
- Kowalski, Robert A. (2)
- Leone, Nicola (2)
- Miller, Rob (2)
- Morris, Paul H. (2)
- Nardi, Daniele (2)
- Nerode, Anil (2)
- Neufeld, Eric M. (2)
- Nicolas, Pascal (2)
- Niemelä, Ilkka N. F. (2)
- Palopoli, Luigi (2)
- Perlis, Donald R. (2)
- Phan Minh Dung (2)
- Ramon, Sébastien (2)
- Remmel, Jeffrey Brian (2)
- Rintanen, Jussi (2)
- Rosati, Riccardo (2)
- Rounds, William C. (2)
- Schlechta, Karl (2)
- Schwind, Camilla B. (2)
- Şerban, Gabriela (2)
- Smets, Philippe (2)
- Straccia, Umberto (2)
- Strasser, Christian (2)
- van der Torre, Leendert W. N. (2)
- van Linder, Bernd (2)
- Wellman, Michael P. (2)
- Zhang, Guo-Qiang (2)
- Zhang, Mingyi (2)
- Abe, Jair Minoro (1)
- Andersen, Frederik J. (1)
- Andreas, Holger (1)
- Andréka, Hajnal (1)
- Antonelli, Gian Aldo (1)
- and 192 more Authors
all
top 5
Serial
- Artif. Intell. (44)
- J. Appl. Non-Class. Log. (12)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (9)
- Int. J. Approx. Reasoning (9)
- J. Log. Comput. (9)
- Ann. Math. Artif. Intell. (9)
- J. Autom. Reasoning (7)
- Synthese (5)
- J. Logic Lang. Inf. (5)
- Inf. Sci. (4)
- Stud. Log. (4)
- J. Appl. Log. (4)
- J. Philos. Log. (3)
- Theor. Comput. Sci. (3)
- J. Log. Program. (3)
- J. Comput. Sci. Technol. (3)
- Stud. Univ. Babeș-Bolyai, Inform. (3)
- Int. J. Man-Mach. Stud. (2)
- Fuzzy Sets Syst. (2)
- Comput. Artif. Intell. (2)
- J. Wuhan Univ., Nat. Sci. Ed. (2)
- New Generation Comput. (2)
- Int. J. Intell. Syst. (2)
- J. Exp. Theor. Artif. Intell. (2)
- J. Artif. Intell. Res. (JAIR) (2)
- Sci. China, Ser. E (2)
- Log. J. IGPL (2)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (2)
- J. Softw. (2)
- Lect. Notes Comput. Sci. (2)
- Comput. Math. Appl. (1)
- Inf. Process. Lett. (1)
- J. Assoc. Comput. Mach. (1)
- J. Comput. Syst. Sci. (1)
- J. Indian Inst. Sci. (1)
- Log. Anal., Nouv. Sér. (1)
- J. Sichuan Univ., Nat. Sci. Ed. (1)
- J. Lanzhou Univ., Nat. Sci. (1)
- BUSEFAL (1)
- Bull. Inf. Cybern. (1)
- Ann. Pure Appl. Logic (1)
- Theoria, Segunda Epoca (1)
- Inf. Comput. (1)
- Data Knowl. Eng. (1)
- AI Commun. (1)
- Mach. Learn. (1)
- Jpn. J. Fuzzy Theory Syst. (1)
- Eur. J. Oper. Res. (1)
- Bull. Pol. Acad. Sci., Math. (1)
- Bull. IGPL (1)
- Mathware Soft Comput. (1)
- Trans. Nanjing Univ. Aeronaut. Astronaut. (1)
- Open Syst. Inf. Dyn. (1)
- Erkenntnis (1)
- Fundam. Inform. (1)
- Theory Pract. Log. Program. (1)
- Comput. Inform. (1)
- ACM Trans. Comput. Log. (1)
- Australas. J. Log. (1)
- Camb. Tracts Theor. Comput. Sci. (1)
- Front. Artif. Intell. Appl. (1)
- Helsinki Univ. Technol., Digit. Syst. Lab., Ser. A, Res. Rep. (1)
- Trends Log. Stud. Log. Libr. (1)
- Adv. Log. (1)
- Texts Comput. (1)
- An. Univ. Vest Timiș., Ser. Mat.-Inform. (1)
- Creat. Math. Inform. (1)
all
top 5
Year of Publication
- 2024 (2)
- 2023 (1)
- 2021 (1)
- 2020 (1)
- 2019 (1)
- 2018 (1)
- 2017 (2)
- 2016 (1)
- 2015 (5)
- 2014 (3)
- 2013 (3)
- 2012 (4)
- 2011 (6)
- 2010 (6)
- 2009 (3)
- 2008 (9)
- 2007 (6)
- 2006 (5)
- 2005 (11)
- 2004 (3)
- 2003 (12)
- 2002 (11)
- 2001 (12)
- 2000 (12)
- 1999 (17)
- 1998 (21)
- 1997 (14)
- 1996 (24)
- 1995 (12)
- 1994 (15)
- 1993 (9)
- 1992 (6)
- 1991 (14)
- 1990 (8)
- 1989 (17)
- 1988 (11)
- 1987 (4)
- 1986 (1)
- 1985 (4)
- 1983 (1)
- 1980 (1)
all
top 3
Software
- Smodels (8)
- Datalog (4)
- CCalc (3)
- OSCAR (3)
- ASSAT (2)
- LOF (2)
- PTTP (2)
- Racer (2)
- SCOTT (2)
- BayesOWL (1)
- C4.5 (1)
- CkC (1)
- CoLoSS (1)
- DAML+OIL (1)
- FRIL (1)
- FaCT++ (1)
- Galliwasp (1)
- GenePath (1)
- GraphBase (1)
- KoMeT (1)
- LIBSVM (1)
- LUPS (1)
- Orca (1)
- PROTEIN (1)
- RuleML (1)
- SETHEO (1)
- SOLAR (1)
- SWI-Prolog (1)
- TABLEAUX (1)
- TRIPLE (1)
- TopLog (1)
- swrl (1)
