Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by V. Genovese
Reasoning About Delegation and Revocation Schemes in Answer Set Programming
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Terrestrial Carbon Sinks in the Brazilian Amazon and Cerrado Region Predicted From MODIS Satellite Data and Ecosystem Modeling
Biogeosciences
Earth-Surface Processes
Ecology
Systematics
Evolution
Behavior
Related publications
Reasoning About Qualitative Direction and Distance Between Extended Objects Using Answer Set Programming
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Automata and Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Special Issue on Answer Set Programming
KI - Künstliche Intelligenz
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
GASP: Answer Set Programming With Lazy Grounding
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Semantics and Complexity of Recursive Aggregates in Answer Set Programming
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Constructing Camin-Sokal Phylogenies via Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PHYLO-ASP: Phylogenetic Systematics With Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science