BibSonomy :: author  ::

bookmarks

publications

(156)

• BIO logical agents: Norms, beliefs, intentions in defeasible logic.
  Guido Governatori and Antonino Rotolo Autonomous Agents and Multi-Agent Systems 17 36-69 (2008)
  to dblp by dblp on 2008-11-26 00:00:00
  | URL | BibTeX  
• Development and Verification of Rule Based Systems - A Survey of Developers.
  Valentin Zacharias RuleML 6-16 (2008)
  to development rules survey tools by fraktalek and 1 other person on 2008-11-14 14:20:17
  | URL | BibTeX  
• Visualization of Proofs in Defeasible Logic.
  Ioannis Avguleas and Katerina Gkirtzou and Sofia Triantafilou and Antonis Bikakis and Grigoris Antoniou and Efstratios Kontopoulos and Nick Bassiliades RuleML 197-210 (2008)
  to defeasible explanation logic non-monotonic proofs rules by fraktalek and 2 other people on 2008-11-14 14:17:36
  | URL | BibTeX  
• Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
  Nick Bassiliades and Guido Governatori and Adrian Paschke (eds.). RuleML (2008)
  to imported by fraktalek and 1 other person on 2008-11-14 14:14:05
  | BibTeX  
• Visualization of Proofs in Defeasible Logic
  Ioannis Avguleas and Katerina Gkirtzou and Sofia Triantafilou and Antonis Bikakis and Grigoris Antoniou and Efstratios Kontopoulos and Nick Bassiliades RuleML 197-210 (2008)
  to imported by fraktalek and 2 other people on 2008-11-14 14:14:05
  | BibTeX  
• Proof Explanation for the Semantic Web Using Defeasible Logic
  Grigoris Antoniou and Antonis Bikakis and Nikosdimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolas Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis KSEM 2007, LNAI 4798 12 (2007)
  to kiwi by fraktalek on 2008-11-14 13:33:38
  | BibTeX  
• Proof Explanation in the DR-DEVICE System
  Nick Bassiliades and Grigoris Antoniou and Guido Governatori Web Reasoning and Rule Systems. LNCS 4524 10 (2007)
  to kiwi by fraktalek and 1 other person on 2008-11-14 13:33:38
  | BibTeX  
• Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks.
  Kirsten Terfloth and Jochen H. Schiller RuleML 127-134 (2008)
  to dblp by dblp on 2008-11-10 00:00:00
  | URL | BibTeX  
• Self-sustained Routing for Event Diffusion in Wireless Sensor Networks.
  Kirsten Terfloth and Jochen H. Schiller RuleML 236-241 (2008)
  to dblp by dblp on 2008-11-10 00:00:00
  | URL | BibTeX  
• Meta-analysis for Validation and Strategic Planning.
  David A. Ostrowski RuleML 39-46 (2008)
  to dblp by dblp on 2008-11-03 00:00:00
  | URL | BibTeX