Sciweavers

663 search results - page 25 / 133
» What Is a Concept
Sort
View
HINC
2003
Springer
14 years 1 months ago
The Birth of Simula
When designing Simula, Ole-Johan Dahl and Kristen Nygaard introduced the basic concepts of what later became known as object-orientation, which still, 35 years later, has a profoun...
Stein Krogdahl
HICSS
2003
IEEE
95views Biometrics» more  HICSS 2003»
14 years 1 months ago
Knowledge Negotiation in Asynchronous Learning Networks
The negotiation of what is to count as mutually acceptable collaborative knowledge is difficult to conduct when participants cannot interact face-to-face. We review certain relate...
Gerry Stahl
LICS
2002
IEEE
14 years 1 months ago
The Proof Complexity of Linear Algebra
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
Michael Soltys, Stephen A. Cook
KR
2000
Springer
14 years 5 days ago
Approximate Objects and Approximate Theories
We propose to extend the ontology of logical AI to include approximate objects, approximate predicates and approximate theories. Besides the ontology we treat the relations among ...
John McCarthy
KES
2004
Springer
14 years 2 months ago
Commonsense Reasoning in and Over Natural Language
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
Hugo Liu, Push Singh