Search Sciweavers | Sciweavers

5198 search results - page 262 / 1040

» A Logic of Agent Programs

173

click to vote

LORI
2009
Springer

214views Artificial Intelligence» more LORI 2009»

Dynamic Testimonial Logic

16 years 16 days ago

Download stanford.edu

We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with diﬀerent dispositions to trust each other as information sources. DTL is ...

Wesley H. Holliday

claim paper

Read More »

224

click to vote

HIS
2009

142views Information Technology» more HIS 2009»

Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

15 years 3 months ago

Download www.abdn.ac.uk

Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...

Yuting Zhao, Jeff Z. Pan, Yuan Ren

claim paper

Read More »

118

click to vote

ICML
2003
IEEE

103views Machine Learning» more ICML 2003»

Learning Logic Programs for Layout Analysis Correction

16 years 6 months ago

Download www.hpl.hp.com

Margherita Berardi, Michelangelo Ceci, Floriana Es...

claim paper