Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Carro, Manuel
311  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Building Information Modeling Using Constraint Logic Progra..:

Arias, Joaquin ; Törmä, Seppo ; Carro, Manuel.
info:eu-repo/grantAgreement/EC/H2020/820660/.  , 2022
Link: https://zenodo.org/recor..
 
?
2

Building Information Modeling Using Constraint Logic Progra..:

Arias, Joaquín ; Törmä, Seppo ; Carro, Manuel.
http://arxiv.org/abs/2205.08572.  , 2022
Link: http://arxiv.org/abs/220..
 
?
3

Towards Dynamic Consistency Checking in Goal-directed Predi..:

Arias, Joaquín ; Carro, Manuel ; Gupta, Gopal
http://arxiv.org/abs/2110.12053.  , 2021
Link: http://arxiv.org/abs/211..
 
?
4

Modeling and Reasoning in Event Calculus using Goal-Directe..:

Arias, Joaquín ; Carro, Manuel ; Chen, Zhuo.
http://arxiv.org/abs/2106.14566.  , 2021
Link: http://arxiv.org/abs/210..
 
?
5

A Theoretical Study of (Full) Tabled Constraint Logic Progr..:

Arias, Joaquín ; Carro, Manuel
http://arxiv.org/abs/2009.14430.  , 2020
Link: http://arxiv.org/abs/200..
 
?
6

Justifications for Goal-Directed Constraint Answer Set Prog..:

Arias, Joaquín ; Carro, Manuel ; Chen, Zhuo.
http://arxiv.org/abs/2009.10238.  , 2020
Link: http://arxiv.org/abs/200..
 
?
7

Evaluation of the Implementation of an Abstract Interpretat..:

Arias, Joaquin ; Carro, Manuel
http://arxiv.org/abs/1908.00104.  , 2019
Link: http://arxiv.org/abs/190..
 
?
8

Description, Implementation, and Evaluation of a Generic De..:

Arias, Joaquín ; Carro, Manuel
http://arxiv.org/abs/1809.05771.  , 2018
Link: http://arxiv.org/abs/180..
 
?
9

Constraint Answer Set Programming without Grounding:

Arias, Joaquín ; Carro, Manuel ; Salazar, Elmer..
http://arxiv.org/abs/1804.11162.  , 2018
Link: http://arxiv.org/abs/180..
 
?
10

Towards a Semantics-Aware Code Transformation Toolchain for..:

Tamarit, Salvador ; Mariño, Julio ; Vigueras, Guillermo.
http://arxiv.org/abs/1701.03319.  , 2017
Link: http://arxiv.org/abs/170..
 
?
11

Towards Automatic Learning of Heuristics for Mechanical Tra..:

Vigueras, Guillermo ; Carro, Manuel ; Tamarit, Salvador.
http://arxiv.org/abs/1701.07123.  , 2017
Link: http://arxiv.org/abs/170..
 
?
12

OASIcs, Volume 52, ICLP'16, Complete Volume:

Carro, Manuel ; King, Andy ; Saeedloei, Neda.
doi:10.4230/OASIcs.ICLP.2016.  , 2016
Link: https://doi.org/10.4230/..
 
?
13

Front Matter, Table of Contents, Preface, List of Authors:

Carro, Manuel ; King, Andy ; Saeedloei, Neda.
doi:10.4230/OASIcs.ICLP.2016.0.  , 2016
Link: https://doi.org/10.4230/..
 
?
14

Towards a Semantics-Aware Transformation Toolchain for Hete..:

Tamarit, Salvador ; Mariño, Julio ; Vigueras, Guillermo.
http://arxiv.org/abs/1603.03011.  , 2016
Link: http://arxiv.org/abs/160..
 
?
15

Papers presented at the 32nd International Conference on Lo..:

Carro, Manuel ; King, Andy
http://arxiv.org/abs/1608.05440.  , 2016
Link: http://arxiv.org/abs/160..
 
1-15