Skip to contents

Alferes, José Júlio [Editor] ; JELIA 5 1996 Évora

Logics in artificial intelligence : European workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1126
Alferes, José Júlio [Editor]; Leite, João [Other] ; JELIA 9 2004 Lissabon

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004 : proceedings - [1. ed]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3229
Alferes, José Júlio [Author]; Pereira, Luís Moniz [Author]

Reasoning with logic programming

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1111
Alferes, José Júlio [Editor]; Bailey, James [Other]; May, Wolfgang [Other]; Schwertel, Uta [Other] ; PPSWR 4 2006 Budva

Principles and practice of Semantic Web reasoning : 4th international workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4187
Barahona, Pedro [Author] ; Alferes, José J. [Other]

Progress in Artificial Intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

Published in: Lecture notes in computer science ; 1695
Alferes, José Júlio [Author] ; Pereira, Luís Moniz [Other]; Orlowska, Eva [Other]

Logics in Artificial Intelligence : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1126
Alferes, José Júlio [Author] ; Pereira, Luís Moniz [Other]

Reasoning with Logic Programming

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1111
Alferes, José Júlio [Editor]; Johansson, Moa [Editor]

Practical Aspects of Declarative Languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2019

Published in: Programming and Software Engineering ; 11372- SpringerLink ; Bücher
Alferes, José J. [Author]; Gabaldon Alfredo [Author]; Leite, João A. [Author] ; José J. Alferes and Gabaldon Alfredo and João A. Leite [Contributor]

Non-Markovian Agent Evolution with EVOLP

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Alferes, José Júlio [Other]; Bailey, James [Other]; May, Wolfgang [Other]; Schwertel, Uta [Other]

Principles and Practice of Semantic Web Reasoning (vol. # 4187) : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4187
Alferes, José Júlio [Editor]; Bertossi, Leopoldo [Editor]; Governatori, Guido [Editor]; Fodor, Paul [Editor]; Roman, Dumitru [Editor]

Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9718
Cantera, María José Redondo [Contributor]; Carvajal, Esther Alegre [Contributor]; Casas, Rafael Domínguez [Contributor]; Castelló, M. Cristina Hernández [Contributor]; Codet, Cécile [Contributor]; Fernández, Isabel Escalera [Contributor]; Gil, María Concepción Porras [Contributor]; González, Patricia Andrés [Contributor]; Gschwend, Annemarie Jordan [Contributor]; Jorge, María Elena Díez [Contributor]; López, María Encarnación Hernández [Contributor]; Molina, Jesús F. Pascual [Contributor]; Moya, Inmaculada Rodríguez [Contributor]; Pinto, Carla Alferes [Contributor]; Porras Gil, María Concepción [Editor]; Rojewski, Oskar J. [Contributor]; Sobczyńska-Szczepańska, Miroslava [Contributor]; Vela, Miguel Herguedas [Contributor]; Zalama, Miguel Ángel [Contributor]; Zalama, Miguel Ángel [Editor]

Entre la política y las artes : Señoras del Poder

View online
Schließen

Access

... to E-book via De Gruyter (freely accessible)

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt am Main: Vervuert Verlagsgesellschaft, 2023

Published in: Tiempo emulado. Historia de América y España ; 84
Alferes, José J.; Banti, Federico; Brogi, Antonio; Leite, João A.

Logic Programming and Nonmonotonic Reasoning: Semantics for Dynamic Logic Programming: A Principle-Based Approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Logic Programming and Nonmonotonic Reasoning (2003), Seite 8-20
Alferes, José J.; Herre, Heinrich; Pereira, Luís Moniz

Computational Logic — CL 2000: Partial Models of Extended Generalized Logic Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: Computational Logic — CL 2000 (2000), Seite 149-163
Pereira, Luís Moniz; Alferes, JoséJ.; Aparício, Joaquim N.

Adding closed world assumptions to well-founded semantics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1994

Published in: Theoretical Computer Science, 122 (1994) 1-2, Seite 49-68
Pereira, Luís Moniz; Alferes, José J.; Aparício, Joaquim N.

Knowledge Representation and Reasoning Under Uncertainty: Contradiction removal semantics with explicit negation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1994

Published in: Knowledge Representation and Reasoning Under Uncertainty (1994), Seite 91-105
Pereira, Luís Moniz; Aparício, Joaquim N.; Alferes, José J.

Knowledge Representation and Reasoning Under Uncertainty: Logic programming for non-monotonic reasoning

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1994

Published in: Knowledge Representation and Reasoning Under Uncertainty (1994), Seite 107-121
Pereira, Luís Moniz; Aparício, Joaquim N.; Alferes, JoséJ.

Non-monotonic reasoning with logic programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1993

Published in: The Journal of Logic Programming, 17 (1993) 2-4, Seite 227-263
Pereira, Luís Moniz; Alferes, José J.; Aparício, Joaquim N.

EPIA 91: The extended stable models of contradiction removal semantics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: EPIA 91 (1991), Seite 105-119
Alferes, Jose J.; Brogi, Antonio; Leite, Joao A.; Pereira, Luis M.

Cooperative Information Agents VII: Logic Programming for Evolving Agents

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Cooperative Information Agents VII (2003), Seite 281-297

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication