default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonis C. Kakas
Person information
- affiliation: University of Cyprus, Nicosia, Cyprus
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael:
Editorial: Computational argumentation: a foundation for human-centric AI. Frontiers Artif. Intell. 7 (2024)- [c95]Antonis C. Kakas, Paolo Mancarella:
On the Extension of Argumentation Logic. CILC 2024 - [c94]Chara Skouteli
, Nicoletta Prentzas, Antonis C. Kakas, Constantinos S. Pattichis:
Explainable AI Modeling in the Prediction of Cardiovascular Disease Risk. MIE 2024: 978-982 - [c93]Waqar Aziz, Andria Nicalaou, Charithea Stylianides, Andreas Panayides, Antonis C. Kakas, Efthyvoulous Kyriacou, Constantinos S. Pattichis:
Emergency Department Length of Stay Classification Based on Ensemble Methods and Rule Extraction. MIE 2024: 1812-1816 - 2023
- [j27]Nikolaos I. Spanoudakis, Georgios Gligoris, Adamos Koumi, Antonis C. Kakas:
Explainable argumentation as a service. J. Web Semant. 76: 100772 (2023) - [c92]Andria Nicolaou, Marios Pantziaris, Christos P. Loizou, Antonis C. Kakas, Constantinos S. Pattichis:
An Explainable AI model in the assessment of Multiple Sclerosis using clinical data and Brain MRI lesion texture features *. BHI 2023: 1-4 - [c91]Andria Nicolaou, Nicoletta Prentzas, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis:
A Comparative Study of Explainable AI models in the Assessment of Multiple Sclerosis. CAIP (2) 2023: 140-148 - [c90]Andria Nicolaou, Antonis C. Kakas, Constantinos S. Pattichis, Marios S. Pattichis, Kevin Fotso, Christos P. Loizou, Marios Pantzaris:
An Explainable Artificial Intelligence model in the assessment of Brain MRI Lesions in Multiple Sclerosis using Amplitude Modulation - Frequency Modulation multi-scale feature sets. DSP 2023: 1-4 - [c89]Emmanuelle Dietz, Antonis C. Kakas:
Unifying Abduction and Deduction through Argumentation. KoDis+CAKR@KR 2023 - [c88]Nicoletta Prentzas, Constantinos S. Pattichis, Antonis C. Kakas:
Explainable Machine Learning via Argumentation. xAI (3) 2023: 371-398 - [i13]Nicoletta Prentzas, Antonis C. Kakas, Constantinos S. Pattichis:
Explainable AI applications in the Medical Domain: a systematic review. CoRR abs/2308.05411 (2023) - [i12]Antonis C. Kakas:
Cognitive Machine Argumentation. ERCIM News 2023(132) (2023) - 2022
- [j26]Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael:
Argumentation: A calculus for Human-Centric AI. Frontiers Artif. Intell. 5 (2022) - [c87]Nicoletta Prentzas, Athena Gavrielidou, Marios Neofytou, Antonis C. Kakas:
Argumentation-based Explainable Machine Learning (ArgEML): a Real-life Use Case on Gynecological Cancer. ArgML@COMMA 2022: 1-13 - [c86]Antonis C. Kakas:
Argumentation: From Theory to Practice & Back. COMMA 2022: 16-17 - [c85]Adamos Koumi, Antonis C. Kakas, Emmanuelle Dietz:
COGNICA: Cognitive Argumentation. COMMA 2022: 361-362 - [c84]Nikolaos I. Spanoudakis, Georgios Gligoris, Antonis C. Kakas, Adamos Koumi:
Gorgias Cloud: On-line Explainable Argumentation. COMMA 2022: 371-372 - [c83]Nikolaos Spanoudakis, Antonis C. Kakas, Adamos Koumi:
Application Level Explanations for Argumentation-based Decision Making. ArgXAI@COMMA 2022 - 2021
- [c82]Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael:
Computational Argumentation & Cognitive AI. ACAI 2021: 363-388 - [c81]Nicoletta Prentzas, Marios Pitsiali, Efthyvoulos Kyriacou, Andrew Nicolaides, Antonis C. Kakas, Constantinos S. Pattichis:
Model Agnostic Explainability Techniques in Ultrasound Image Analysis. BIBE 2021: 1-6 - [c80]Andria Nicolaou, Christos P. Loizou, Marios Pantzaris, Antonis C. Kakas, Constantinos S. Pattichis:
Rule Extraction in the Assessment of Brain MRI Lesions in Multiple Sclerosis: Preliminary Findings. CAIP (1) 2021: 277-286 - [c79]Emmanuelle Dietz, Antonis C. Kakas:
Cognitive Argumentation and the Selection Task. CogSci 2021 - [i11]Emmanuelle Dietz, Antonis C. Kakas, Loizos Michael:
Computational Argumentation and Cognition. CoRR abs/2111.06958 (2021) - 2020
- [c78]Kleo G. Achilleos, Stephanos Leandrou, Nicoletta Prentzas, Panayiotis A. Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis:
Extracting Explainable Assessments of Alzheimer's disease via Machine Learning on brain MRI imaging data. BIBE 2020: 1036-1041 - [i10]Emmanuelle-Anna Dietz Saldanha, Antonis C. Kakas:
Cognitive Argumentation and the Suppression Task. CoRR abs/2002.10149 (2020) - [i9]Antonis C. Kakas, Loizos Michael:
Abduction and Argumentation for Explainable Machine Learning: A Position Survey. CoRR abs/2010.12896 (2020)
2010 – 2019
- 2019
- [j25]Antonis C. Kakas, Pavlos Moraitis, Nikolaos I. Spanoudakis:
GORGIAS: Applying argumentation. Argument Comput. 10(1): 55-81 (2019) - [j24]Emmanuelle-Anna Dietz Saldanha, Antonis C. Kakas:
Cognitive Argumentation for Human Syllogistic Reasoning. Künstliche Intell. 33(3): 229-242 (2019) - [c77]Nicoletta Prentzas, Andrew Nicolaides, Efthyvoulos Kyriacou, Antonis C. Kakas, Constantinos S. Pattichis:
Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction. BIBE 2019: 817-821 - 2018
- [j23]Antonis C. Kakas, Paolo Mancarella, Francesca Toni:
On Argumentation Logic and Propositional Logic. Stud Logica 106(2): 237-279 (2018) - [c76]Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu:
Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner. PRIMA 2018: 510-518 - [c75]Nick Bassiliades, Nikolaos I. Spanoudakis, Antonis C. Kakas:
Towards Multipolicy Argumentation. SETN 2018: 24:1-24:10 - [e7]Irene-Anna Diakidoy, Antonis C. Kakas, Antonio Lieto, Loizos Michael:
Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition, AIC 2017, Larnaca, Cyprus, November 1-3, 2017. CEUR Workshop Proceedings 2090, CEUR-WS.org 2018 [contents] - 2017
- [c74]Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu:
Argumentation-Based Security for Social Good. AAAI Fall Symposia 2017: 164-170 - [c73]Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas:
From Natural Language to Argumentation and Cognitive Systems. AIC 2017: 55-57 - [c72]Antonis C. Kakas:
Informalizing Formal Logic. Bridging@CogSci 2017: 31-38 - [c71]Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas:
From Natural Language to Argumentation and Cognitive Systems. COMMONSENSE 2017 - [c70]Nikolaos I. Spanoudakis, Elena Constantinou, Adamos Koumi, Antonis C. Kakas:
Modeling Data Access Legislation with Gorgias. IEA/AIE (2) 2017: 317-327 - [r2]Antonis C. Kakas:
Abduction. Encyclopedia of Machine Learning and Data Mining 2017: 1-8 - [i8]Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu:
Argumentation-based Security for Social Good. CoRR abs/1705.00732 (2017) - 2016
- [j22]Antonis C. Kakas, Loizos Michael:
Cognitive Systems: Argument and Cognition. IEEE Intell. Informatics Bull. 17(1): 14-20 (2016) - [c69]Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis:
Gorgias-B: Argumentation in Practice. COMMA 2016: 477-478 - [c68]Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis:
Conflicts Resolution with the SoDA Methodology. COREDEMA@ECAI 2016: 82-99 - [c67]Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis:
Applications of Argumentation: The SoDA Methodology. ECAI 2016: 1722-1723 - [c66]Antonis C. Kakas, Loizos Michael, Francesca Toni:
Argumentation: Reconciling Human and Automated Reasoning. Bridging@IJCAI 2016: 43-60 - [e6]Loizos Michael, Antonis C. Kakas:
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 10021, 2016, ISBN 978-3-319-48757-1 [contents] - 2015
- [j21]Evgenios Hadjisoteriou, Antonis C. Kakas:
Reasoning about actions and change in argumentation. Argument Comput. 6(3): 265-291 (2015) - [c65]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
STAR: A System of Argumentation for Story Comprehension and Beyond. AAAI Spring Symposia 2015 - [c64]Loizos Michael, Antonis C. Kakas, Rob Miller, György Turán:
Cognitive Programming. AIC 2015: 3-18 - 2014
- [c63]Antonis C. Kakas, Francesca Toni, Paolo Mancarella:
Argumentation for Propositional Logic and Nonmonotonic Reasoning. CILC 2014: 272-286 - [c62]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
Story Comprehension through Argumentation. COMMA 2014: 31-42 - [c61]Antonis C. Kakas, Francesca Toni, Paolo Mancarella:
Argumentation Logic. COMMA 2014: 345-356 - [c60]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
A Psychology-Inspired Approach to Automated Narrative Text Comprehension. KR 2014 - [i7]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Computational Logic Foundations of KGP Agents. CoRR abs/1401.3443 (2014) - [i6]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
Non-Monotonic Reasoning and Story Comprehension. CoRR abs/1407.3832 (2014) - 2013
- [j20]Antonis C. Kakas, Paolo Mancarella:
On the semantics of abstract argumentation. J. Log. Comput. 23(5): 991-1015 (2013) - [c59]Sotiris Lazarou, Antonis C. Kakas, Christiana Neophytou, Andreas Constantinou:
Automated Scientific Assistant for Cancer and Chemoprevention. AIAI 2013: 96-109 - 2012
- [c58]Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor:
The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action 2012: 4-11 - [c57]Evgenios Hadjisoteriou, Antonis C. Kakas:
Argumentation and the Event Calculus. Logic Programs, Norms and Action 2012: 103-122 - 2011
- [j19]Antonis C. Kakas, Loizos Michael, Rob Miller:
Modular-έ and the role of elaboration tolerance in solving the qualification problem. Artif. Intell. 175(1): 49-78 (2011) - [c56]Loizos Michael, Antonis C. Kakas:
A Unified Argumentation-Based Framework for Knowledge Qualification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c55]Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis:
ABA: Argumentation Based Agents. ArgMAS 2011: 9-27 - [c54]Evgenios Hadjisoteriou, Antonis C. Kakas:
Argumentation and Temporal Persistence. ICCSW 2011: 31-38 - 2010
- [c53]Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis:
ABA: Argumentation Based Agents. ECAI 2010: 1005-1006 - [r1]Antonis C. Kakas:
Abduction. Encyclopedia of Machine Learning 2010: 3-9
2000 – 2009
- 2009
- [j18]Antonis C. Kakas, Peter A. Flach:
Abduction and Induction in Artificial Intelligence. J. Appl. Log. 7(3): 251 (2009) - [c52]Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo:
Using argumentation logic for firewall configuration management. Integrated Network Management 2009: 180-187 - [c51]Loizos Michael, Antonis C. Kakas:
Knowledge Qualification through Argumentation. LPNMR 2009: 209-222 - [c50]Victor Noël, Antonis C. Kakas:
Gorgias-C: Extending Argumentation with Constraint Solving. LPNMR 2009: 535-541 - 2008
- [j17]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. 33: 285-348 (2008) - [c49]Antonis C. Kakas, Loizos Michael, Rob Miller:
Fred meets Tweety. ECAI 2008: 747-748 - 2006
- [j16]Andrea Bracciali, Ulle Endriss, Neophytos Demetriou, Antonis C. Kakas, Wenjin Lu, Kostas Stathis:
Crafting the mind of PROSOCS agents. Appl. Artif. Intell. 20(2-4): 105-131 (2006) - [j15]Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton:
Application of abductive ILP to learning metabolic network inhibition from temporal data. Mach. Learn. 64(1-3): 209-230 (2006) - [c48]Antonis C. Kakas, Pavlos Moraitis:
Adaptive agent negotiation via argumentation. AAMAS 2006: 384-391 - [c47]Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo:
Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM 2006: 185-196 - [c46]Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades:
Abductive Logic Programming in the Clinical Management of HIV/AIDS. ECAI 2006: 437-441 - 2005
- [j14]Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis:
Modular Representation of Agent Interaction Rules through Argumentation. Auton. Agents Multi Agent Syst. 11(2): 189-206 (2005) - [c45]Yannis Dimopoulos, Antonis C. Kakas, Pavlos Moraitis:
Argumentation Based Modelling of Embedded Agent Dialogues. ArgMAS 2005: 169-181 - [c44]Alexander Yip, Jeremy Forth, Kostas Stathis, Antonis C. Kakas:
Software Anatomy of a KGP Agent. EUMAS 2005: 459-472 - [c43]Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton:
Abduction and induction for learning models of inhibition in metabolic networks. ICMLA 2005 - [c42]Antonis C. Kakas, Loizos Michael, Rob Miller:
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR 2005: 211-226 - [c41]Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot:
Inference of Gene Relations from Microarray Data by Abduction. LPNMR 2005: 389-393 - 2004
- [j13]Georgios John Fakas, Antonis C. Kakas, Christos N. Schizas:
Electronic Roads: Intelligent Navigation Through Multi-Contextual Information. Knowl. Inf. Syst. 6(1): 103-124 (2004) - [c40]Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis:
Layered Strategies and Protocols for Argumentation-Based Agent Interaction. ArgMAS 2004: 64-77 - [c39]Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis:
Flexible Agent Dialogue Strategies and Societal Communication Protocols. AAMAS 2004: 1434-1435 - [c38]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Declarative Agent Control. CLIMA 2004: 96-110 - [c37]Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou:
Agent Planning, Negotiation and Control of Operation. ECAI 2004: 28-32 - [c36]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
The KGP Model of Agency. ECAI 2004: 33-37 - [c35]Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni:
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing 2004: 340-367 - [c34]Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen H. Muggleton, Florencio Pazos:
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. ILP 2004: 305-322 - [c33]Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael:
Reasoning About Actions and Change in Answer Set Programming. LPNMR 2004: 61-73 - [c32]Andrea Bracciali, Antonis C. Kakas:
Frame consistency: computing with causal explanations. NMR 2004: 79-87 - 2003
- [c31]Antonis C. Kakas, Pavlos Moraitis:
Argumentation based decision making for autonomous agents. AAMAS 2003: 883-890 - [e5]Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas:
Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers. Lecture Notes in Computer Science 2563, Springer 2003, ISBN 3-540-07544-5 [contents] - 2002
- [c30]Marc Denecker, Antonis C. Kakas:
Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 402-436 - [c29]Antonis C. Kakas, Loizos Michael:
Modeling complex domains of actions and change. NMR 2002: 380-390 - [c28]Antonis C. Kakas, Pavlos Moraitis:
Argumentative Agent Deliberation, Roles and Context. CLIMA 2002: 39-53 - [e4]Antonis C. Kakas, Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Computer Science 2407, Springer 2002, ISBN 3-540-43959-5 [contents] - [e3]Antonis C. Kakas, Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Lecture Notes in Computer Science 2408, Springer 2002, ISBN 3-540-43960-9 [contents] - [i5]Antonis C. Kakas, Loizos Michael:
Modeling Complex Domains of Actions and Change. CoRR cs.AI/0207056 (2002) - 2001
- [j12]Antonis C. Kakas, Antonia Michael:
An Abductive-based Scheduler for Air-Crew Assignment. Appl. Artif. Intell. 15(3): 333-360 (2001) - [j11]Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri:
Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001) - [c27]Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker:
A-System: Problem Solving through Abduction. IJCAI 2001: 591-596 - [c26]Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: Reasoning about Actions, Events and Observations. LPNMR 2001: 254-266 - [c25]Bert Van Nuffelen, Antonis C. Kakas:
A-system: Declarative Programming with Abduction. LPNMR 2001: 393-396 - [i4]Yannis Dimopoulos, Antonis C. Kakas:
Information Integration and Computational Logic. CoRR cs.AI/0106025 (2001) - 2000
- [j10]Marc Denecker, Antonis C. Kakas:
Special issue: abductive logic programming. J. Log. Program. 44(1-3): 1-4 (2000) - [j9]Antonis C. Kakas, Antonia Michael, Costas Mourlas:
ACLP: Abductive Constraint Logic Programming. J. Log. Program. 44(1-3): 129-177 (2000) - [j8]Antonis C. Kakas, Fabrizio Riguzzi:
Abductive Concept Learning. New Gener. Comput. 18(3): 243-294 (2000) - [e2]Krzysztof R. Apt, Antonis C. Kakas, Éric Monfroy, Francesca Rossi:
New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers. Lecture Notes in Computer Science 1865, Springer 2000, ISBN 3-540-67885-9 [contents] - [i3]Antonis C. Kakas:
ACLP: Integrating Abduction and Constraint Solving. CoRR cs.AI/0003020 (2000) - [i2]Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: A System for Reasoning about Actions, Events and Observations. CoRR cs.AI/0003034 (2000) - [i1]Antonis C. Kakas, Rob Miller, Francesca Toni:
Planning with Incomplete Information. CoRR cs.AI/0003049 (2000)
1990 – 1999
- 1999
- [j7]Antonis C. Kakas, Francesca Toni:
Computing Argumentation in Logic Programming. J. Log. Comput. 9(4): 515-562 (1999) - [c24]Antonis C. Kakas, Antonia Michael:
Air-Crew Scheduling through Abduction. IEA/AIE 1999: 600-611 - [c23]Antonis C. Kakas, Rob Miller, Francesca Toni:
An Argumentation Framework of Reasoning about Actions and Change. LPNMR 1999: 78-91 - 1998
- [j6]Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Katia Silva Guimarães:
Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS). Log. J. IGPL 6(4): 651-663 (1998) - [c22]Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi:
Learning Multiple Predicates. AIMSA 1998: 303-316 - [c21]Costas Zervos, Stathis Panis, Dionysis Dionysiou, Michaelis Dionysiou, Constantinos S. Pattichis, Andreas Pitsillides, George A. Papadopoulos, Antonis C. Kakas, Christos N. Schizas:
Electronic Roads in the Information Society. ECDL 1998: 689-690 - [c20]Antonis C. Kakas, Antonia Michael:
Applications of Abductive Logic Programming. IJCSLP 1998: 343-344 - 1997
- [j5]Antonis C. Kakas, Rob Miller:
Reasoning about Actions, Narratives and Ramification. Electron. Trans. Artif. Intell. 1: 39-72 (1997) - [j4]Peter A. Flach, Antonis C. Kakas:
Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop. Log. J. IGPL 5(5): 773-778 (1997) - [j3]Antonis C. Kakas, Rob Miller:
A Simple Declarative Language for Describing Narratives With Actions. J. Log. Program. 31(1-3): 157-200 (1997) - [c19]Yannis Dimopoulos, Saso Dzeroski, Antonis C. Kakas:
Integrating Explanatory and Descriptive Learning in ILP. IJCAI (2) 1997: 900-907 - [c18]Antonis C. Kakas, Fabrizio Riguzzi:
Learning with Abduction. ILP 1997: 181-188 - [c17]Antonis C. Kakas, Costas Mourlas:
ACLP: Flexible Solutions to Complex Problems. LPNMR 1997: 388-399 - 1995
- [c16]Yannis Dimopoulos, Antonis C. Kakas:
Learning Non-Monotonic Logic Programs: Learning Exceptions. ECML 1995: 122-137 - [c15]Antonis C. Kakas, Antonia Michael:
Integrating Abductive and Constraint Logic Programming. ICLP 1995: 399-413 - [c14]Francesca Toni, Antonis C. Kakas:
Computing the Acceptability Semantics. LPNMR 1995: 401-415 - [c13]Yannis Dimopoulos, Antonis C. Kakas:
Logic Programming without Negation as Failure. ILPS 1995: 369-383 - [e1]Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí:
Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien 266, Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, ISBN 3-88457-266-0 [contents] - 1994
- [c12]Antonis C. Kakas, Paolo Mancarella:
Abduction and Abductive Logic Programming. ICLP 1994: 18-19 - [c11]Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung:
The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519 - [c10]Antonis C. Kakas, George A. Papadopoulos:
Parallel Abduction in Logic Programming. PASCO 1994: 214-224 - 1992
- [j2]Antonis C. Kakas, Paolo Mancarella:
Short Note: Preferred Extensions are Partial Stable Models. J. Log. Program. 14(3&4): 341-348 (1992) - [j1]Antonis C. Kakas, Robert A. Kowalski, Francesca Toni:
Abductive Logic Programming. J. Log. Comput. 2(6): 719-770 (1992) - [c9]Antonis C. Kakas:
Default Reasoning via Negation as Failure. ECAI Workshop on Knowledge Representation and Reasoning 1992: 160-178 - [c8]Chris Evans, Antonis C. Kakas:
Hypothetico-deductive Reasoning. FGCS 1992: 546-554 - 1991
- [c7]Antonis C. Kakas, Paolo Mancarella:
Negation as Stable Hypotheses. LPNMR 1991: 275-288 - [c6]Antonis C. Kakas, Paolo Mancarella:
Stable Theories for Logic Programs. ISLP 1991: 85-100 - 1990
- [c5]Antonis C. Kakas:
Belief Revision for Deductive Databases. DAISD 1990: 191-218 - [c4]Antonis C. Kakas, Paolo Mancarella:
Knowledge Assimilation and Abduction. Truth Maintenance Systems (ECAI Workshop) 1990: 54-70 - [c3]Antonis C. Kakas, Paolo Mancarella:
Generalized Stable Models: A Semantics for Abduction. ECAI 1990: 385-391 - [c2]Antonis C. Kakas, Paolo Mancarella:
Abductive Logic Programming. LPNMR 1990: 49-61 - [c1]Antonis C. Kakas, Paolo Mancarella:
Database Updates through Abduction. VLDB 1990: 650-661
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:49 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:
