4401 search results - page 267 / 881 » Computing with Default Logic |
185
click to vote
OOPSLA
2007
Springer
16 years 21 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
135
click to vote
WOLLIC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
188
click to vote
LICS
2005
IEEE
16 years 5 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...
169
click to vote
AUSAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
196
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...