Search Sciweavers | Sciweavers

5198 search results - page 97 / 1040

» A Logic of Agent Programs

142

click to vote

AAAI
1994

100views Intelligent Agents» more AAAI 1994»

Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas

15 years 5 months ago

Download www.aaai.org

We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...

Steven Minton, Ian Underwood

claim paper

Read More »

154

Voted

AGP
2003
IEEE

177views Artificial Intelligence» more AGP 2003»

Local Closed-World Assumptions for reasoning about Semantic Web data

15 years 9 months ago

Download www.francosalvetti.com

Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...

Elisa Bertino, Alessandro Provetti, Franco Salvett...

claim paper

Read More »

216

Voted

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 4 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper