5198 search results - page 247 / 1040 » A Logic of Agent Programs |
275
click to vote
ACMSE
2011
ACM
14 years 5 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
210
Voted
BMCBI
2011
15 years 27 days ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
129
click to vote
ESWS
2007
Springer
16 years 1 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
150
click to vote
CCIA
2007
Springer
16 years 2 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
139
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...