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
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 27 days 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 2 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 1 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