Sciweavers

2143 search results - page 160 / 429
» Linking Representation with Meaning
Sort
View
DALT
2009
Springer
16 years 1 months ago
Playing with Rules
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
João Leite
165
Voted
MDAI
2009
Springer
16 years 1 months ago
Using Conditional Random Fields for Decision-Theoretic Planning
We propose a means of extending Conditional Random Field modeling to decision-theoretic planning where valuation is dependent upon fullyobservable factors. Representation is discu...
Paul A. Ardis, Christopher M. Brown
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
16 years 1 months ago
A Formal Model for Integrating Multiple Views
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
Juliana Küster Filipe Bowles, Behzad Bordbar
ICAIL
2005
ACM
16 years 18 days ago
A Note on Interpretations for Federated Languages and the Use of Disquotation
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in co...
Steven Orla Kimbrough
EVOW
2005
Springer
16 years 17 days ago
Evolving Reversible Circuits for the Even-Parity Problem
Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in ord...
Mihai Oltean