3552 search results - page 548 / 711 » Proof theory in the abstract |
146
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper investigates the use of ontologies in processes of collaborative learning and knowledge generation. The creation and use of ontologies is analysed from an acti...
176
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
177
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
151
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Three theoretical perspectives upon conservation of performance in function optimization are outlined. In terms of statistical information, performance is conserved when ...
134
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Thischapterdiscussesthedesirablefeaturesoflanguagesandprotocolsforcommunicationamongintelligentinformationagents.Thesedesiderata aredividedintosevencategories:form,conten...