×

Found 909 Documents (Results 1–100)

Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models. (English) Zbl 07855143

Gaggl, Sarah (ed.) et al., Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14281, 531-546 (2023).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

A deontic logic for programming rightful machines: Kant’s normative demand for consistency in the law. (English) Zbl 1535.68350

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 208-222 (2023).
PDFBibTeX XMLCite
Full Text: Link

Towards a principle-based approach for case-based reasoning. (English) Zbl 1524.68346

Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 37-46 (2022).
MSC:  68T27 68T37
PDFBibTeX XMLCite
Full Text: DOI HAL

A brief introduction to the Shkop approach to conflict resolution in formal argumentation. (English) Zbl 1484.68229

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. 46-62 (2021).
MSC:  68T27
PDFBibTeX XMLCite

Argumentative reflections of approximation fixpoint theory. (English) Zbl 1464.68359

Prakken, Henry (ed.) et al., Computational models of argument. Proceedings of the 8th conference, COMMA 2020, University of Perugia, Italy, virtual conference, September 8–11, 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 326, 215-226 (2020).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

A first-order sequent calculus for logical inferentialists and expressivists. (English) Zbl 1505.03123

Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 211-228 (2019).
MSC:  03F03 03B10
PDFBibTeX XMLCite

Open reading and free choice permission: a perspective in substructural logics. (English) Zbl 1469.03054

Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 81-115 (2019).
MSC:  03B47
PDFBibTeX XMLCite
Full Text: DOI

Stable-ordered models for propositional theories with order operators. (English) Zbl 1525.68174

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 794-802 (2019).
MSC:  68T27 03B44 68T30
PDFBibTeX XMLCite
Full Text: DOI

The weak completion semantics can model inferences of individual human reasoners. (English) Zbl 1525.68155

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 498-508 (2019).
MSC:  68T27 03B50 68N17
PDFBibTeX XMLCite
Full Text: DOI

Choosing your nonmonotonic logic: a shopper’s guide. (English) Zbl 1418.03109

Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 109-123 (2018).
MSC:  03B47
PDFBibTeX XMLCite

Reasoning about prescription and description using prioritized default rules. (English) Zbl 1415.68217

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 196-213 (2018).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

A semantic characterization for ASP base revision. (English) Zbl 1498.68300

Moral, Serafín (ed.) et al., Scalable uncertainty management. 11th international conference, SUM 2017, Granada, Spain, October 4–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10564, 334-347 (2017).
MSC:  68T27 68N17 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

When structural principles hold merely locally. (English) Zbl 1418.03110

Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 53-67 (2017).
MSC:  03B47 03F52
PDFBibTeX XMLCite

On Boolean algebras of conditionals and their logical counterpart. (English) Zbl 1491.68203

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 246-256 (2017).
MSC:  68T27 03G05 68T37
PDFBibTeX XMLCite
Full Text: DOI Link

Reasoning about surprising scenarios in description logics of typicality. (English) Zbl 1430.68313

Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 418-432 (2016).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about multiple aspects in rational closure for DLs. (English) Zbl 1430.68306

Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 392-405 (2016).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software