Zobrazeno 1 - 10
of 522
pro vyhledávání: '"Dov. M. Gabbay"'
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched'system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmon
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to fro
In the symbolic artificial intelligence community, abstract argumentation with its semantics, i.e. approaches for defining sets of valid conclusions (extensions) that can be derived from argumentation graphs, is considered a promising method for non-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0706cd1a3e16ceeb6f873fdc8f95891e
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-189163
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-189163
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and
Publikováno v:
Logica Universalis. 13:425-442
We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components centuries ahead of their time. In many cases the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e6d0e7a4fe0eb1abee7069b9d89800c
https://doi.org/10.1007/s11787-019-00228-y
https://doi.org/10.1007/s11787-019-00228-y
Publikováno v:
D’Agostino, M, Gabbay, D & Modgil, S 2020, ' Normality, Non-contamination and Logical Depth in Classical Natural Deduction ', Studia Logica, vol. 108, no. 2, pp. 291–357 . https://doi.org/10.1007/s11225-019-09847-4
In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural way than standard Gentzen-style natural deduction, (ii) admits of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84fb843cea499691e77d6265821246e3
https://doi.org/10.1007/s11225-019-09847-4
https://doi.org/10.1007/s11225-019-09847-4
Publikováno v:
ACM Transactions on Knowledge Discovery from Data. 13:1-24
This article presents a unique method in text and data mining for finding the era, i.e., mining temporal data, in which an anonymous author was living. Finding this era can assist in the examination of a fake document or extracting the time period in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3259ad020d54344f920e4f41a0f9033c
https://doi.org/10.1145/3281631
https://doi.org/10.1145/3281631
Autor:
Timotheus Kampik, Dov M. Gabbay
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030867713
ECSQARU
ECSQARU
In this paper, we introduce the notion of the degree of monotony to abstract argumentation, a well-established method for drawing inferences in face of conflicts in non-monotonic reasoning. Roughly speaking, the degree of monotony allows us, given an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c69b692109ff132440260d846864ed0
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-187845
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-187845
Autor:
Dov M. Gabbay
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783030712570
The notion of negation is basic to any formal or informal logical system. When any such system is presented to us, it is presented either as a system without negation or as a system with some form of negation. In both cases, we are supposed to know i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8f20972be271e39b78aebb8e1fdec28
https://doi.org/10.1007/978-3-030-71258-7_9
https://doi.org/10.1007/978-3-030-71258-7_9
Autor:
Timotheus Kampik, Dov M. Gabbay
Publikováno v:
Explainable and Transparent AI and Multi-Agent Systems ISBN: 9783030820169
EXTRAAMAS@AAMAS
EXTRAAMAS@AAMAS
A well-studied trait of human reasoning and decision-making is the ability to not only make decisions in the presence of contradictions, but also to explain why a decision was made, in particular if a decision deviates from what is expected by an inq
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34257cb0f50f9676fed3eb10797db299
https://doi.org/10.1007/978-3-030-82017-6_17
https://doi.org/10.1007/978-3-030-82017-6_17