Kakas, Antonis C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE 19th International Conference on Bioinformatics and Bioengineering (BIBE) - Athens, Greece (2019.10.28-2019.10.30)] 2019 IEEE 19th International Conference on Bioinformatics and Bioengineering (BIBE) - Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction

Prentzas, Nicoletta, Nicolaides, Andrew, Kyriacou, Efthyvoulos, Kakas, Antonis, Pattichis, Constantinos

Year:

2019

File:

PDF, 226 KB

2019

2

Abduction and Induction in Artificial Intelligence

Antonis Kakas, Peter Flach

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 89 KB

english, 2009

3

and the role of elaboration tolerance in solving the qualification problem

Antonis Kakas, Loizos Michael, Rob Miller

Journal:

Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 354 KB

english, 2011

4

GORGIAS: Applying argumentation

Kakas, Antonis C., Moraitis, Pavlos, Spanoudakis, Nikolaos I.

Journal:

Argument & Computation

Year:

2018

Language:

english

File:

PDF, 715 KB

english, 2018

5

Special issue: abductive logic programming

Marc Denecker, Antonis Kakas

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 38 KB

english, 2000

6

Abductive concept learning

Antonis C. Kakas, Fabrizio Riguzzi

Journal:

New Generation Computing

Year:

2000

Language:

english

File:

PDF, 3.04 MB

english, 2000

7

Application of abductive ILP to learning metabolic network inhibition from temporal data

Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis Kakas, Stephen Muggleton

Journal:

Machine Learning

Year:

2006

Language:

english

File:

PDF, 649 KB

english, 2006

8

Argumentative Agent Deliberation, Roles and Context

Antonis C. Kakas, Pavlos Moraïtis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

9

[Lecture Notes in Computer Science] Computational Logic: Logic Programming and Beyond Volume 2407 ||

Kakas, Antonis C., Sadri, Fariba

Year:

2002

Language:

english

File:

PDF, 7.56 MB

english, 2002

10

[Lecture Notes in Computer Science] Computational Logic: Logic Programming and Beyond Volume 2408 || Automated Abduction

Kakas, Antonis C., Sadri, Fariba

Year:

2002

Language:

english

File:

PDF, 362 KB

english, 2002

11

[Lecture Notes in Computer Science] Advances in Informatics Volume 2563 || Using Fuzzy Cognitive Maps as a Decision Support System for Political Decisions

Manolopoulos, Yannis, Evripidou, Skevos, Kakas, Antonis C.

Year:

2003

Language:

english

File:

PDF, 334 KB

english, 2003

12

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - Adaptive agent negotiation via argumentation

Kakas, Antonis, Moraitis, Pavlos

Year:

2006

Language:

english

File:

PDF, 286 KB

english, 2006

13

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 ||

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 15.15 MB

english, 2016

14

Cognitive Argumentation for Human Syllogistic Reasoning

Saldanha, Emmanuelle-Anna Dietz, Kakas, Antonis

Journal:

KI - Künstliche Intelligenz

Year:

2019

Language:

english

File:

PDF, 1.31 MB

english, 2019

15

Electronic Roads: Intelligent Navigation Through Multi-Contextual Information

Georgios Fakas, Antonis Kakas, Christos N. Schizas

Journal:

Knowledge and Information Systems

Year:

2004

Language:

english

File:

PDF, 1.37 MB

english, 2004

16

Modular Representation of Agent Interaction Rules through Argumentation

Antonis Kakas, Nicolas Maudet, Pavlos Moraitis

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2005

Language:

english

File:

PDF, 278 KB

english, 2005

17

[Lecture Notes in Computer Science] Advances in Informatics Volume 2563 || Seismo-Surfer: A Prototype for Collecting, Querying, and Mining Seismic Data

Manolopoulos, Yannis, Evripidou, Skevos, Kakas, Antonis C.

Year:

2003

Language:

english

File:

PDF, 314 KB

english, 2003

18

[Lecture Notes in Computer Science] Advances in Informatics Volume 2563 || A Greek Morphological Lexicon and Its Exploitation by Natural Language Processing Applications

Manolopoulos, Yannis, Evripidou, Skevos, Kakas, Antonis C.

Year:

2003

Language:

english

File:

PDF, 511 KB

english, 2003

19

[Lecture Notes in Computer Science] Advances in Informatics Volume 2563 || Website Evaluation: A Usability-Based Perspective

Manolopoulos, Yannis, Evripidou, Skevos, Kakas, Antonis C.

Year:

2003

Language:

english

File:

PDF, 904 KB

english, 2003

20

[IEEE 2009 IFIP/IEEE International Symposium on Integrated Network Management (IM) - New York, NY, USA (2009.06.1-2009.06.5)] 2009 IFIP/IEEE International Symposium on Integrated Network Management - Using argumentation logic for firewall configuration management

Bandara, Arosha K., Kakas, Antonis C., Lupu, Emil C., Russo, Alessandra

Year:

2009

Language:

english

File:

PDF, 270 KB

english, 2009

21

CRAFTING THE MIND OF PROSOCS AGENTS

Bracciali, Andrea, Endriss, Ulle, Demetriou, Neophytos, Kakas, Antonis, Lu Stathis, Wenjin, Stathis, Kostas

Journal:

Applied Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 596 KB

english, 2006

22

[ACM Press the second international joint conference - Melbourne, Australia (2003.07.14-2003.07.18)] Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 - Argumentation based decision making for autonomous agents

Kakas, Antonis, Moraitis, Pavlos

Year:

2003

Language:

english

File:

PDF, 199 KB

english, 2003

23

[Lecture Notes in Computer Science] Computational Logic: Logic Programming and Beyond Volume 2407 || Constraint Logic Programming

Kakas, Antonis C., Sadri, Fariba

Year:

2002

Language:

english

File:

PDF, 254 KB

english, 2002

24

[Lecture Notes in Computer Science] New Trends in Constraints Volume 1865 || Constraint (Logic) Programming: A Survey on Research and Applications

Apt, Krzysztof R., Monfroy, Eric, Kakas, Antonis C., Rossi, Francesca

Year:

2000

Language:

english

File:

PDF, 272 KB

english, 2000

25

[Lecture Notes in Computer Science] Computational Logic: Logic Programming and Beyond Volume 2407 || Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach

Kakas, Antonis C., Sadri, Fariba

Year:

2002

Language:

english

File:

PDF, 353 KB

english, 2002

26

[Lecture Notes in Computer Science] Advances in Informatics Volume 2563 || A Comparison of Design Patterns and Roles in the Context of Behavioural Evolution

Manolopoulos, Yannis, Evripidou, Skevos, Kakas, Antonis C.

Year:

2003

Language:

english

File:

PDF, 851 KB

english, 2003

27

Editorial

Apt, Krzysztof R., Kakas, Antonis C., Sadri, Fariba

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 25 KB

english, 2001

28

Mucous Cysts of the Nose: A Postrhinoplasty Complication?

Dionyssopoulos, Alexander, Nikolis, Andreas, Papaconstantinou, Antony, Kakas, Paraskevas, Miliaras, Dimosthenis, Kekes, George

Journal:

Annals of Plastic Surgery

Year:

2010

Language:

english

File:

PDF, 759 KB

english, 2010

29

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 1.22 MB

english, 2016

30

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || Efficient Reasoning for Inconsistent Horn Formulae

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 661 KB

english, 2016

31

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 654 KB

english, 2016

32

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || Opposition Frameworks

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 439 KB

english, 2016

33

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || Inconsistency Management in Reactive Multi-context Systems

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 151 KB

english, 2016

34

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || Forgetting in ASP: The Forgotten Properties

Michael, Loizos, Kakas, Antonis

Year:

2016

File:

PDF, 3 KB

2016

35

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || Pakota: A System for Enforcement in Abstract Argumentation

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

36

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 264 KB

english, 2016

37

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 10021 || Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks

Michael, Loizos, Kakas, Antonis

Year:

2016

Language:

english

File:

PDF, 481 KB

english, 2016

38

[ACM Press the 10th Hellenic Conference - Patras, Greece (2018.07.09-2018.07.12)] Proceedings of the 10th Hellenic Conference on Artificial Intelligence - SETN '18 - Towards Multipolicy Argumentation

Bassiliades, Nick, Spanoudakis, Nikolaos I., Kakas, Antonis C.

Year:

2018

Language:

english

File:

PDF, 649 KB

english, 2018