Sciweavers

1551 search results - page 92 / 311
» How Typical is the
Sort
View
AAAI
2004
15 years 6 months ago
Fibring Neural Networks
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
Artur S. d'Avila Garcez, Dov M. Gabbay
ACMSE
2005
ACM
15 years 10 months ago
NotiFly: enhancing design through claims-based personas and knowledge reuse
Typically viewed as competing design approaches, this paper illustrates how claims and personas can be used together in user interface design. Our combined approach is exemplified...
Justin Belcher, Raheel Aidrus, Ben Congleton, Doug...
KR
2010
Springer
15 years 9 months ago
Towards a Logic of Feature-Based Semantic Science Theories
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
David Poole
POPL
2005
ACM
16 years 5 months ago
Formal prototyping in early stages of protocol design
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr
SYNTHESE
2010
129views more  SYNTHESE 2010»
15 years 3 months ago
Belief and contextual acceptance
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
Eleonora Cresto