AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC
Funding entity | Consellería de Educación |
Main researches | Álvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2022 to 20/11/2024 |
Department | Computer Science and Information Technologies |
Knowledgment area | Computational Science and Artificial Intelligence |
Research | Research group Information Retrieval Lab |
Research lines | Artificial Intelligence, Knowledge Representation, Logic, Non-Monotonic Reasoning, Logic Programming, Answer Set Programming |
Keywords | Artificial Intelligence, Knowledge Representation, Non-monotonic Reasoning, Logic Programming, Answer Set Programming |
Contacto | UDC directory |
Orcid id0000-0001-7440-0953 ResearcherIDAAE-5198-2020 Scopus55887725900 |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
Subject and involved studies | Type | Distance hours | Total hours |
---|---|---|---|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 2 |
Final Year Dissertation. Mention in Information Technology
Degree in Computer Engineering
|
Compulsory | 0 | 1 |
Subject and involved studies | Type | Distance hours | Total hours |
---|---|---|---|
Final Year Dissertation. Mention in Computer Science | Compulsory | 0 | 12 |
Knowledge and Reasoning under Uncertainty | Optional | 0 | 3.5 |
Knowledge Representation and Automatic Reasoning | Optional | 0 | 35 |
Logic | Core | 0 | 15 |
Master's Dissertation | Compulsory | 0 | 10 |
Real Time Intelligent Systems | Optional | 0 | 0 |
Reasoning and Planning | Compulsory | 0 | 21 |
Software Verification and Validation | Optional | 0 | 42 |
Subject and involved studies | Type | Distance hours | Total hours |
---|---|---|---|
Algorithms
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
Information Systems Analysis
Master's in Computer Engineering
|
Compulsory | 0 | 36 |
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
|
Optional | 0 | 28 |
Operating Systems
Degree in Computer Engineering
|
Compulsory | 0 | 53 |
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 42 |
Subject and involved studies | Type | Distance hours | Total hours |
---|---|---|---|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
|
Optional | 0 | 21 |
Operating Systems
Degree in Computer Engineering
|
Compulsory | 0 | 23 |
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 35 |
Subject and involved studies | Type | Distance hours | Total hours |
---|---|---|---|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
|
Optional | 0 | 28 |
Operating Systems
Degree in Computer Engineering
|
Compulsory | 0 | 43 |
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 35 |
Subject and involved studies | Type | Distance hours | Total hours |
---|---|---|---|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 4 |
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
|
Optional | 0 | 28 |
Operating Systems
Degree in Computer Engineering
|
Compulsory | 0 | 51 |
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 35 |
Defined tutoring by teacher for 2022/2023 academic course.
Quarter | Day | Site |
---|---|---|
1st quarter |
Tuesday
10:00 a 13:00 |
Despacho 4.11 |
1st quarter |
Wednesday
10:00 a 13:00 |
Despacho 4.11 |
Directed or codirected by current teacher since 2013 year.
A processor of epistemic expressions in logic programs |
Solving Temporal Logic Programs with AI Planners |
Rule-Based Decision Support System for Lever Transplantation |
Scenario Generation for a 2D Videogame using Logic Programming |
A type system for functional Answer Set programming. |
Tool for musical harmonization through Answer Set Programming |
A Planning Tool for Temporal Logic Programs |
Select merit type and year to query research merits.
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS.GPC
Funding entity | Consellería de Educación |
Main researches | Álvaro Barreiro García |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2022 to 20/11/2024 |
Razonamiento Automático y Aprendizaje con Inducción de Conocimiento
Funding entity | Ministerio de Ciencia e Innovación |
Main researches | Pedro Cabalar Fernández/ José Santos Reyes |
Type | Proyecto Programas Nacionales |
Dates | From 01/09/2021 to 31/08/2024 |
AXUDAS PARA A CONSOLIDACIÓN E ESTRUTURACIÓN DE UNIDADES DE INVESTIGACIÓN COMPETITIVAS. GPC
Funding entity | CONSELLERIA DE EDUCACIÓN, UNIVERSIDADE E FORMACIÓN PROFESIONAL |
Main researches | ÁLVARO BARREIRO GARCÍA |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/2019 to 20/11/2021 |
RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS (TARDIS)
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | Pedro Cabalar Fernández |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2018 to 31/12/2020 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
Funding entity | Ministerio de Economía y Competitividad |
Main researches | Pedro Cabalar |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2018 to 31/12/2020 |
MERLOT: RAZONAMIENTO MÉDICO CON HERRAMIENTAS LÓGICAS
Funding entity | Ministerio de Economía y Competitividad (MINECO) |
Main researches | José Pedro Cabalar Fernández |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2014 to 31/12/2016 |
Feast: Fundamentos y extensiones de la tecnología answer set programming. Expediente económico: PIA12009-43.-
Funding entity | Ministerio de Economía y Competitividad |
Main researches | José Pedro Cabalar Fernández |
Type | Proyecto Otros Programas |
Dates | From 01/01/2010 to 31/12/2013 |
FEAST: Foundations and Extensions of Answer Set Programming Technology
Funding entity | Ministerio de Ciencia e Innovación |
Main researches | Pedro Cabalar |
Type | Proyecto Programas Nacionales |
Dates | From 01/10/2009 to 30/09/2012 |
Algoritmos xenéticos en problemas de satisfactibilidade: estudo formal e aplicación a answer set programming.
Funding entity | Dirección Xeral de Investigación, Desenvolvemento e Innovación |
Type | Proyecto Otros Programas |
Dates | From 01/01/2008 to 31/10/2011 |
Algoritmos Genéticos en problemas de Satisfactibilidad: estudio formal y aplicación a Answer Set Programming
Funding entity | Xunta de Galicia |
Main researches | Pedro Cabalar |
Type | Proyecto Programas Autonomicos |
Dates | From 01/10/2008 to 30/08/2011 |
Lógicas, deducción y programación para sistemas inteligentes (ampliaciones y aplicaciones de Answer Set Programming)
Funding entity | Ministerio de Educación y Ciencia |
Main researches | José Pedro Cabalar Fernández |
Type | Proyecto Programas Nacionales |
Dates | From 01/10/2006 to 30/09/2009 |
DELIA: deduction and programming in non-classical logics for knowledge technology
Funding entity | Ministerio de Ciencia y Tecnología |
Main researches | David Pearce |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/2004 to 31/12/2006 |
Unha linguaxe declarativa basada na causalidade: aplicación a diferentes problemas de razoamento (Incentivo TIC2001-0393)
Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
Type | Proyecto Otros Programas |
Dates | From 12/08/2002 to 11/08/2005 |
Working Group on Answer Set Programming
Funding entity | Unión Europea (red de investigación) |
Main researches | Alessandro Provetti |
Type | Proyecto UE |
Dates | From 15/09/2002 to 14/03/2005 |
Un lenguaje declarativo basado en causalidad:aplicación a diferentes problemas de razonamiento.
Type | Proyecto Otros Programas |
Dates | From 28/12/2001 to 28/12/2004 |
Un lenguaje declarativo basado en causalidad: aplicación a diferentes problemas de razonamiento
Funding entity | Ministerio de Ciencia y Tecnología |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Nacionales |
Dates | From 28/12/2001 to 27/12/2004 |
Sistema de Razonamiento Automático sobre Dominios Dinámicos
Funding entity | Ministerio de Educación y Cultura |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Nacionales |
Dates | From 01/01/1999 to 31/12/2001 |
Razonamiento en Sistemas Dinámicos de Eventos Discretos. Integración en Medtool
Funding entity | Xunta de Galicia |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1996 to 31/01/1998 |
Apoyo al diseño y desarrollo de ampliaciones de la aplicación Gialix: ¿Módulo de indicadores de diagnóstico financiero¿
Funding entity | Diputación de A Coruña (convenio de colaboración) |
Main researches | José Luis Freire Nistal |
Type | Contrato |
Dates | From 01/08/1996 to 30/04/1997 |
Aprendizaje en un entorno de desarrollo de sistemas expertos para ayuda a la investigación. Aplicación al dominio médico
Funding entity | Xunta de Galicia |
Main researches | Ramón Pérez Otero |
Type | Proyecto Programas Autonomicos |
Dates | From 01/01/1994 to 31/12/1995 |
Equilibrium Graphs
Authors | Pedro Cabalar, Carlos Pérez, Gilberto Pérez |
Journal | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
Functional ASP with Intensional Sets; Application to Gelfond-Zhang Aggregates
Authors | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Temporal Answer Set Programming on Finite Traces
Authors | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Answer Set Programming from a Logical Point of View
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | Künstliche Intelligenz |
Verification for ASP denotational semantics: A case study using the PVS theorem prover
Authors | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Journal | LOGIC JOURNAL OF THE IGPL Vol. 25 Num. 2 (pages 195 to 213) |
DOI | https://doi.org/10.1093/jigpal/jzw060 |
Temporal logic programs with variables
Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 2 (pages 226 to 243) |
DOI | https://doi.org/10.1017/s1471068416000570 |
Temporal Equilibrium Logic with past operators
Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
Journal | Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 161 to 177) |
DOI | https://doi.org/10.1080/11663081.2018.1427987 |
Enablers and Inhibitors in Causal Justifications of Logic Programs
Authors | Pedro Cabalar, Jorge Fandinno |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 17 Num. 1 (pages 49 to 74) |
Stable Reasoning
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | Journal of Applied Non-Classical Logics Vol. 27 Num. 3-4 (pages 238 to 254) |
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
Authors | Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 624 to 636) |
haspie - A Musical Harmonisation Tool based on ASP
Authors | Pedro Cabalar, Rodrigo Martín |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 10423 (pages 637 to 642) |
A Qualitative Spatial Representation of String Loops as Holes
Authors | Pedro Cabalar, Paulo E. Santos |
Journal | Artificial Intelligence Vol. 238 (pages 1 to 10) |
Justifications for Programs with Disjunctive and Causal-choice Rules
Authors | Pedro Cabalar, Jorge Fandinno |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 16 Num. 5-6 (pages 587 to 603) |
Framing Holes within a Loop Hierarchy
Authors | Paulo E. Santos, Pedro Cabalar |
Journal | SPATIAL COGNITION AND COMPUTATION Vol. 16 Num. 1 (pages 54 to 95) |
An infinitary encoding of equilibrium logic
Authors | Pedro Cabalar, Concepción Vidal, Martin Diéguez Lodeiro |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 666 to 680) |
A denotational semantics for equilibrium logic
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, David Pearce |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 15 Num. 4-5 (pages 620 to 634) |
DOI | https://doi.org/10.1017/s1471068415000277 |
Stable Models for Temporal Theories - Invited Talk
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9345 (pages 1 to 13) |
Explaining preferences and preferring explanations
Authors | Pedro Cabalar, Jorge Fandinno |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9060 (pages 218 to 232) |
Causal Graph Justifications of Logic Programs
Authors | Pedro Cabalar, Jorge Fandinno, Michael Fink |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 14 Num. 4-5 (pages 603 to 618) |
DOI | https://doi.org/10.1017/s1471068414000234 |
A Complexity Assessment for Queries involving Sufficient and Necessary Causes
Authors | Pedro Cabalar, Jorge Fandinno, Michael Fink |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 297 to 319) |
A Free Logic for Stable Models with Partial Intensional Functions
Authors | Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8761 (pages 340 to 354) |
Temporal Equilibrium Logic: a survey
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Lodeiro |
Journal | Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 2 to 24) |
DOI | https://doi.org/10.1080/11663081.2013.798985 |
Foreword
Authors | Pedro Cabalar, Agustín Valverde |
Journal | Journal of Applied Non-Classical Logics Vol. 23 Num. 1-2 (pages 1 to 1) |
Loop Formulas for Splitable Temporal Logic Programs
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 80 to 92) |
DOI | https://doi.org/10.1007/978-3-642-20895-9_9 |
Formalising the Fisherman's Folly puzzle
Authors | Pedro Cabalar, Santos, Paulo E. |
Journal | Artificial Intelligence Vol. 175 Num. 1, SI (pages 346 to 377) |
DOI | https://doi.org/10.1016/j.artint.2010.04.004 |
A logical characterisation of ordered disjunction
Authors | Pedro Cabalar |
Journal | AI COMMUNICATIONS Vol. 24 Num. 2 (pages 165 to 175) |
DOI | https://doi.org/10.3233/aic-2011-0494 |
Functional answer set programming
Authors | Pedro Cabalar |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 11 Num. 2-3 (pages 203 to 233) |
DOI | https://doi.org/10.1017/s1471068410000517 |
STeLP - a Tool for Temporal Answer Set Programming
Authors | Pedro Cabalar, Martín Diéguez |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6645 (pages 370 to 375) |
Automata-based Computation of Temporal Equilibrium Models
Authors | Pedro Cabalar, Stephane Demri |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7225 (pages 57 to 72) |
A Normal Form for Linear Temporal Equilibrium Logic
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 6342 (pages 64 to 76) |
A Revised Concept of Safety for General Answer Set Programs
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70) |
Safety Preserving Transformations for General Answer Set Programs
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5753 (pages 58 to 70) |
Strongly equivalent temporal logic programs
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5293 (pages 8 to 20) |
Partial Functions and Equality in Answer Set Programming
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5366 (pages 392 to 406) |
The space within the Fisherman¿s Folly: playing with a puzzle in mereotopology
Authors | Paulo E. Santos, Pedro Cabalar |
Journal | SPATIAL COGNITION AND COMPUTATION Vol. 8 (pages 47 to 64) |
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
Authors | Pedro Cabalar, David Pearce, Panos Rondogiannis, William Wadge |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4483 (pages 44 to 57) |
Minimal Logic Programs
Authors | Pedro Cabalar, Gilberto Pérez |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4670 (pages 104 to 118) |
Partial Equilibrium Logic
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde |
Journal | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Vol. 50 (pages 305 to 331) |
Propositional Theories are Strongly Equivalent to Logic Programs
Authors | Pedro Cabalar, Paolo Ferraris |
Journal | THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 7 Num. 6 (pages 745 to 759) |
Temporal Equilibrium Logic: a first approach
Authors | Pedro Cabalar, Gilberto Pérez |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 241 to 248) |
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4079 (pages 346 to 360) |
On the Logic and Computation of Partial Equilibrium Models
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde Ramos |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4160 (pages 82 to 94) |
Strings and holes: an exercise on spatial representation and reasoning
Authors | Pedro Cabalar, Paulo Eduardo Santos |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 419 to 429) |
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4140 (pages 592 to 601) |
Reducing Propositional Theories in Equilibrium Logic to Logic Programs
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3808 (pages 4 to 17) |
Logic programs with functions and default values
Authors | Pedro Cabalar, David Lorenzo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3229 (pages 294 to 306) |
A Rewriting Method for Well-Founded Semantics with Explicit Negation
Authors | Pedro Cabalar |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2401 Num. - (pages 378 to 392) |
Introducing planning in discrete event systems
Authors | Pedro Cabalar, Ramón Pérez Otero, Álvaro Barreiro García, Manuel Cabarcos Traseira |
Journal | COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 146 to 159) |
Discrete event simulation in an environment for temporal expert systems
Authors | Álvaro Barreiro García, Pedro Cabalar, P. Otero, D. Lorenzo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 271 to 286) |
Automatic induction of DEVS Structures
Authors | Pedro Cabalar, P. Otero, D. Lorenzo |
Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1030 Num. - (pages 305 to 313) |
Logic, Leadership and Enthusiasm: A Festschrift in honour of Luis Fariñas del Cerro - Special issue JANCL 27(3-4)
Editors | Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce |
Publishing | Taylor and Francis, (España) |
ISBN | 1166-308 |
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013
Editors | Pedro Cabalar, Tran Cao Son |
Publishing | Springer, (España) |
ISBN | 978-3-642-40563-1 |
"Equilibrium Logic and Answer Set Programming", special issue of the Journal of Applied Non-Classical Logics 23(1-2)
Publishing | Taylor and Francis, (España) |
ISBN | 1166-3081 |
Causal Logic Programming" in Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Esra Er
Authors | Pedro Cabalar |
Book |
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz Publishing: Springer - Verlag. ISBN: SBN 978-3-642-30743-0 |
Pages | From 102 to 116 |
Answer Set; Programming?
Authors | Pedro Cabalar |
Book |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday) Vol. 1 Publishing: Springer. ISBN: 978-3-642-20831-7 |
Pages | From 334 to 343 |
Temporal answer set programming
Autor | Martín Diéguez Lodeiro |
Director/s | José Pedro Cabalar Fernández |
Scope | Computación |
Qualification | Sobresaliente Cum Laude |
A casual semantics for logic programming
Autor | Jorge Fandiño García |
Director/s | José Pedro Cabalar Fernández |
Scope | Facultad de Informática |
Qualification | Sobresaliente Cum Laude |
Introducing Temporal Stable Models for Linear Dynamic Logic
16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18)
International
Authors | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Organization | KR org |
Place | Tempe, Arizona (Estados Unidos) |
Forgetting Auxiliary Atoms as Forks
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International
Authors | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal |
Place | Espoo (Finlandia) |
Multi-Context Systems: Dynamics and Evolution
10th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)
International
Authors | Stefania Costantini, Andrea Formisano, Pedro Cabalar |
Place | Espoo (Finlandia) |
Equilibrium Graphs
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), workshop of ICLP 2016
International
Authors | Pedro Cabalar, Carlos Pérez Ramil, Gilberto Pérez |
Place | New York (Estados Unidos) |
Formal verification for ASP: a case study using the PVS theorem prover
CMMSE 2015 (15th Int. Conf. on Computational and Mathematical Methods in Science and Engineering
International
Authors | Felicidad Aguado, Pablo Fernández Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Place | Rota (España) |
An ASP Semantics for Default Reasoning with Constraints
International Joint Conference on Artificial Intelligence (IJCAI'16)
International
Authors | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
Organization | AAAI |
Place | New York (Estados Unidos) |
Strong Equivalence of Non-Monotonic Temporal Theories
14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
International
Authors | Pedro Cabalar, Martín Diéguez |
Place | Viena (Austria) |
Temporal Stable Models are LTL-representable
7th Intl. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)
International
Authors | Pedro Cabalar, Martín Diéguez |
Place | Viena (Austria) |
Loop formulas for splitable temporal logic programs
12th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR13
International
Authors | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal |
Place | Coruña, A (España) |
An algebra of causal chains
6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)
International
Authors | Pedro Cabalar, Jorge Fandinno |
Place | Estambul (Turquía) |
An Investigation of Actions, Change and Space
23rd International Conference on Automated Planning and Scheduling, ICAPS 2013
International
Authors | Paulo E. Santos, Pedro Cabalar |
Place | Roma (Italia) |
Paving the way for temporal grounding
28th International Conference on Logic Programming
ICLP 2012
International
Authors | Felicidad Aguado, Pedro Cabalar, Martín Diéguez Lodeiro, Gilberto Pérez, Concepción Vidal |
Organization | International Conference on Logic Programming ICLP |
Place | Budapest (Hungría) |
Knots World: an investigation of actions, change and space
Spatio-temporal Dynamics Workshop (STeDy'12) (inside ECAI 2012)
International
Authors | Paulo E. Santos, Pedro Cabalar |
Organization | EurAI |
Place | Montpellier (Francia) |
An Experiment on Tabled Evaluation for Hidden Predicates
1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11) (inside LPNMR'11)
International
Authors | Pedro Cabalar, Martín Diéguez |
Place | Vancouver (Canadá) |
Logic Programs and Causal Proofs
10th Intl. Symposium on Logical Formalization on Commonsense Reasoning (Commonsense'11)
International
Authors | Pedro Cabalar |
Place | Palo Alto (Estados Unidos) |
Temporal Logic Programs with variables
Workshop on Grounding and Transformations for Theories with Variables (GTTV'17)
International
Authors | Pedro Cabalar |
Place | Espoo (Finlandia) |
Safety Preserving Transformations for General Answer Set Programs
LOPSTR 2009,19th International Symposium on Logic-Based Program Synthesis and Transformation
International
Authors | Pedro Cabalar, David Pearce, Agustín Valverde |
Place | Cohimbra (Portugal) |
Existential Quantifiers in the Rule Body
WLP 2009, 23rd Workshop on (Constraint) Logic Programming
International
Authors | Pedro Cabalar |
Place | Potsdam (Alemania) |
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle
COMMONSENSE 2007, 8th International Symposium on Logical Formalization of Commonsense Reasoning
International
Authors | Paulo Santos, Pedro Cabalar |
Place | Palo Alto, CA (Estados Unidos) |
Passing through Holes and Getting Entangled by Strings: An Automated Solution for a Spatial Puzzle
ECAI 2006 - 17th European Conference on Artificial Intelligence: Workshop on Spatial and Temporal Reasoning
International
Authors | Paulo Eduardo Santos, Pedro Cabalar |
Place | Riva del Garda (Italia) |
Logical Foundations of Well-Founded Semantics
KR 2006 - 10th International Conference on Principles of Knowlege Representation and Reasoning
International
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce |
Place | Windermere, Lake District (Reino Unido) |
A Functional Action Language Front-end
ASP 2005. Answer Set Programming: Advances in Theory and Implementation
International
Authors | Pedro Cabalar |
Place | Bath (Reino Unido) |
A logic for reasoning about well-founded semantics: preliminary report
CAEPIA 2005. XI Conferencia de la Asociación Española pra la Inteligencia Artificial
National
Authors | Pedro Cabalar, Sergei Odintsov, David Pearce |
Place | Santiago de Compostela (España) |
New insights on the intuitionistic interpretation of Default Logic
European Conference on Artificial Intelligence (ECAI 04)
International
Authors | Pedro Cabalar, David Lorenzo |
Place | Valencia (España) |
Functions and Default values in Logic Programs and Action Theories
II Seminarios Internacionales de Altea. Applications of Logic and Mathematics to Programming.
International
Authors | Pedro Cabalar, David Lorenzo Blanco |
Organization | Universidad Rey Juan Carlos |
Place | España |
A Preliminary Study on Reasoning About Causes
6th International Symposium on Logical Formalizations on Commonsense Reasoning. AAAI Spring Symposium Series (AAAI-SSS03)
International
Authors | Pedro Cabalar |
Place | Stanford, Palo Alto, CA (Estados Unidos) |
Alternative Characterizations for Strong Equivalence of Logic Programs.
9th International Workshop on Non-monotonic Reasoning. NMR¿2002
International
Authors | Pedro Cabalar |
Place | Toulousse (Francia) |
A Three-Valued Characterization for Strong Equivalence of Logic Programs
18th National Conference on Artificial Intelligence (AAAI¿02)
International
Authors | Pedro Cabalar |
Place | Toulousse (Francia) |
Well Founded Semantics as Two-dimensional Here-and-There
Workshop on Answer Set Programming, 2001 AAAI Spring Symposium Series
International
Authors | Pedro Cabalar |
Place | San Francisco (Estados Unidos) |
Temporal Constraint Networks in Action
14th European Conference on Artificial Intelligence( ECAI 2000)
International
Authors | Pedro Cabalar, Ramón Otero, Silvia G. Pose |
Place | Berlín (Alemania) |
PAL: Pertinence Action Language
8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000
International
Authors | Pedro Cabalar, Manuel Jose Cabarcos Traseira, Ramón Otero |
Place | Breckenridge, CO (Estados Unidos) |
Razonamiento temporal no monótono
IV Taller de Razonamiento Temporal
International
Authors | Álvaro Barreiro García, Pedro Cabalar, Manuel Jose Cabarcos Traseira, David Lorenzo Blanco, David Enrique Losada Carril, Ramón Pérez Otero, Mario Otero Díaz, Silvia Gómez Pose, Raúl Ramos Pollán, José Manuel Rodríguez Rodríguez, Julio García Soto, Óscar García Trinidad |
Place | Murcia (España) |
Pertinence and causality
Sixteenth International Joint Conference on Artificial Intelligence( JCAI' 99)
International
Authors | Ramón Pérez Otero, Pedro Cabalar |
Place | Estocolmo (Suecia) |
Temporal Answer Sets
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
International
Authors | Pedro Cabalar |
Place | L'Aquila (Italia) |
Temporal constraint networks in action: a preliminary report
IV Taller de Razonamiento Temporal
International
Authors | Pedro Cabalar, Ramón Pérez Otero, Silvia Gómez Pose |
Place | Murcia (España) |
Un modelo terminológico para el problema de recuperación de datos
7 Conferencia de la asociación española para la Inteligencia Artificial
National
Authors | Álvaro Barreiro García, Pedro Cabalar, Raúl Ramos Pollán |
Place | Málaga (España) |
Efficient concurrent execution of Medtool expert systems
Proceedins of Expert Systems. Applications & Artificial Intelligence (EXPERSYS-96)
International
Authors | Pedro Cabalar, Ramón Pérez Otero, Mario Otero Díaz, M. Cabarcos |
Place | París (Francia) |
Discrete event simulation in an environment for temporal expert systems
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International
Authors | Álvaro Barreiro García, Pedro Cabalar, David Lorenzo Blanco, Ramón Pérez Otero |
Place | Innsbruck (Austria) |
Applying induction in temporal expert systems
IJCAI'95 workshop on data engineering for inductive learning
International
Authors | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
Place | Montreal (Canadá) |
Automatic induction of DEVS structures
EUROCAST'95. (Fifth international conference on computer aided systems technology)
International
Authors | David Lorenzo Blanco, Pedro Cabalar, Ramón Pérez Otero |
Place | Innsbruck (Austria) |
Academic or management positions held by teacher.