1321 search results - page 26 / 265 » Subtyping in Logical Form |
DALT
2007
Springer
15 years 3 months ago
2007
Springer
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 ...
LOGCOM
2006
14 years 11 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
106
click to vote
DLOG
2007
15 years 2 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
103
Voted
HASKELL
2008
ACM
15 years 25 days ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
100
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...