Sciweavers

1040 search results - page 61 / 208
» A Syntactical Approach to Revision
Sort
View
AIPS
2010
14 years 16 days ago
Temporal Planning with Problems Requiring Concurrency through Action Graphs and Local Search
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...
Alfonso Gerevini, Alessandro Saetti, Ivan Serina
EUSFLAT
2007
115views Fuzzy Logic» more  EUSFLAT 2007»
13 years 11 months ago
Training Neurofuzzy Networks with Participatory Learning
This paper introduces a new approach to adjust a class of neurofuzzy networks based on the idea of participatory learning. Participatory learning is a mean to learn and revise bel...
Michel Hell, Rosangela Ballini, Pyramo Costa Jr., ...
ACL
2012
12 years 18 days ago
Chinese Comma Disambiguation for Discourse Analysis
The Chinese comma signals the boundary of discourse units and also anchors discourse relations between adjacent text spans. In this work, we propose a discourse structureoriented ...
Yaqin Yang, Nianwen Xue
JOT
2008
92views more  JOT 2008»
13 years 10 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...
JMLR
2006
78views more  JMLR 2006»
13 years 10 months ago
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
Emanuel Kitzelmann, Ute Schmid