Search results for: Luca Pulina
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 307-323
Constraints > 2018 > 23 > 4 > 383-402
Applied Intelligence > 2018 > 48 > 4 > 886-908
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Knowledge Representation and Reasoning > 97-108
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. Counter and Hybrid Systems Verification > 243-257
Lecture Notes in Computer Science > AI*IA 2011: Artificial Intelligence Around Man and Beyond > Poster Session > 420-425
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 237-250
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 9. Quantified Constraints > 528-542
Lecture Notes in Computer Science > AI*IA 2011: Artificial Intelligence Around Man and Beyond > Theoretical Issues: Knowledge Representation and Reasonoinng, Planning, Cognitive Modeling > 127-138
Lecture Notes in Computer Science > AI*IA 2009: Emergent Perspectives in Artificial Intelligence > Knowledge Representation and Reasoning > 31-41
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2007 > Full Research Papers > 574-589
Lecture Notes in Computer Science > Trends in Applied Intelligent Systems > Applications of Agent-Based Systems > 133-142
Lecture Notes in Computer Science > MICAI 2008: Advances in Artificial Intelligence > Logic and Reasoning > 34-43
Review of Philosophy and Psychology > 2015 > 6 > 2 > 317-339
Annals of Mathematics and Artificial Intelligence > 2011 > 62 > 3-4 > 403-425