Sciweavers

1527 search results - page 62 / 306
» What About Wednesday
Sort
View
ICGA
2010
206views Optimization» more  ICGA 2010»
13 years 3 months ago
From Chinese Room to Human Window
The debate in philosophy and cognitive science about the Chinese Room Argument has focused on whether it shows that machines can have minds. We present a quantitative argument whi...
Maarten van Emden, André Vellino
SEE
2010
Springer
13 years 3 months ago
Engineering Good: How Engineering Metaphors Help us to Understand the Moral Life and Change Society
Engineering can learn from ethics, but ethics can also learn from engineering. In this paper, I discuss what engineering metaphors can teach us about practical philosophy. Using me...
Mark Coeckelbergh
DLOG
2011
13 years 16 days ago
Extracting Finite Sets of Entailments from OWL Ontologies
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
Samantha Bail, Bijan Parsia, Ulrike Sattler
LPNMR
2011
Springer
12 years 12 months ago
Communicating ASP and the Polynomial Hierarchy
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...
APLAS
2011
ACM
12 years 9 months ago
Constructing List Homomorphisms from Proofs
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
Yun-Yan Chi, Shin-Cheng Mu