9532 search results - page 427 / 1907 » Logic, Graphs, and Algorithms |
225
click to vote
EPIA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
162
Voted
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
159
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
191
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract Althoughtremendousadvanceshave been accomplished in logic synthesis in the past two decades, in some cases logic synthesis still cannot attain the improvements possible by...
173
click to vote
SIGIR
1993
ACM
15 years 11 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...