Search Sciweavers | Sciweavers

5198 search results - page 95 / 1040

» A Logic of Agent Programs

click to vote

DALT
2007
Springer

105views Intelligent Agents» more DALT 2007»

Reflections on Agent Beliefs

15 years 3 months ago

Download users.cecs.anu.edu.au

Some issues concerning beliefs of agents are discussed. These issues are the general syntactic form of beliefs, the logic underlying beliefs, acquiring beliefs, and reasoning with ...

John W. Lloyd, Kee Siong Ng

claim paper

Read More »

108

click to vote

PADL
2007
Springer

180views Programming Languages» more PADL 2007»

Aspect-Oriented Programming in Higher-Order and Linear Logic

15 years 5 months ago

Download www.cs.hofstra.edu

Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Deﬁ...

Chuck C. Liang

claim paper

Read More »

click to vote

NGC
2000
Springer

124views Communications» more NGC 2000»

Temporal Disjunctive Logic Programming

14 years 11 months ago

Download www.ionio.gr

In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...

Manolis Gergatsoulis, Panos Rondogiannis, Themis P...

claim paper

Read More »

176

click to vote

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

15 years 12 months ago