Sciweavers

4573 search results - page 177 / 915
» Automated Reasoning
Sort
View
110
Voted
ICLP
2003
Springer
15 years 8 months ago
Controlling Semi-automatic Systems with FLUX
Michael Thielscher
117
Voted
ICLP
2003
Springer
15 years 8 months ago
Adding Preferences to Answer Set Planning
Tran Cao Son, Enrico Pontelli
108
Voted
ICLP
2003
Springer
15 years 8 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato
131
Voted
ICLP
2003
Springer
15 years 8 months ago
A Logic Programming View of Authorization in Distributed Systems
William H. Winsborough
106
Voted
ICCBR
2009
Springer
15 years 8 months ago
A Scalable Noise Reduction Technique for Large Case-Based Systems
Nicola Segata, Enrico Blanzieri, Padraig Cunningha...