Sciweavers

30 search results - page 1 / 6
» jelia 2004
Sort
View
95
Voted
JELIA
2004
Springer
15 years 9 months ago
Representing and Reasoning with Preferences
Francesca Rossi
78
Voted
JELIA
2004
Springer
15 years 9 months ago
Relational Markov Games
Alberto Finzi, Thomas Lukasiewicz
94
Voted
JELIA
2004
Springer
15 years 9 months ago
The DALI Logic Programming Agent-Oriented Language
Stefania Costantini, Arianna Tocchio
JELIA
2004
Springer
15 years 9 months ago
SATMC: A SAT-Based Model Checker for Security Protocols
Alessandro Armando, Luca Compagna