Sciweavers

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