1864 search results - page 121 / 373 » Formal topology and domains |
128
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
— We discuss a framework for defining physical open systems on higher-dimensional complexes. We start with the formalization of the dynamics of open electrical circuits and the ...
125
click to vote
ICALT
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper reports on an approach which maps documents onto an ontology-based information space in order to provide support for machine-mediated communication. First, a composite ...
149
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
182
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
159
click to vote
FLAIRS
2007
15 years 8 months ago
2007
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...