Sciweavers

4212 search results - page 421 / 843
» Rights Expression Languages
Sort
View
EPIA
2001
Springer
15 years 11 months ago
Situation Calculus as Hybrid Logic: First Steps
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
Patrick Blackburn, Jaap Kamps, Maarten Marx
VLDB
2001
ACM
83views Database» more  VLDB 2001»
15 years 11 months ago
Visual Web Information Extraction with Lixto
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
Robert Baumgartner, Sergio Flesca, Georg Gottlob
APN
1999
Springer
15 years 11 months ago
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets
: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key bene...
Charles Lakos, John Lamp
IPPS
1999
IEEE
15 years 11 months ago
Irregular Parallel Algorithms in JAVA
The nested data-parallel programming model supports the design and implementation of irregular parallel algorithms. This paper describes work in progress to incorporate nested data...
Brian Blount, Siddhartha Chatterjee, Michael Phili...
LPKR
1997
Springer
15 years 11 months ago
DATALOG with Nested Rules
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
Sergio Greco, Nicola Leone, Francesco Scarcello