2585 search results - page 269 / 517 » Automating Coherent Logic |
149
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
191
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
173
Voted
ISMIS
2005
Springer
16 years 4 days ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
170
click to vote
KR
2004
Springer
16 years 5 hour ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
192
click to vote
KR
2004
Springer
16 years 5 hour ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...