default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIfCoLog Journal of Logics and their Applications, Volume 2
Volume 2, Number 1, June 2015
- Dov M. Gabbay:
Editorial comment about "On the Difference between ABA and AA". 1-14 - Martin Caminada, Samy Sá, João F. L. Alcântara, Wolfgang Dvorák:
On the Difference between Assumytion-Based Argumentation and Abstract Argumentation. 15-34 - Andrew Schumann, Andrew Adamatzky:
Physarum Polycephalum Diagrams for Syllogistic Systems. 35-68 - Ari Saptawijaya, Luís Moniz Pereira:
Tabdual: a Tabled Abduction System for Logic Programs. 69-124
Volume 2, Number 2, October 2015
- David Makinson:
Göodel's Master Argument: What is it, and what can it do? 1-16 - Melvin Fitting:
Cut-Free Proof Systems for Geach Logics. 17-64 - Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos:
Retalis Language for Information Engineering in Autonomous Robot Software. 65-126 - Yi Mao, Beihai Zhou, Beishui Liao:
Going Forth and Drawing Back: An Intensional Approach in Nonmonotonic Inference. 127-174
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
