91 search results - page 8 / 19 » Towards a General Argumentation System based on Answer-Set P... |
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Successful negotiators prepare by determining their position along five dimensions: Legitimacy, Options, Goals, Independence, and Commitment, (LOGIC). We introduce a negotiation ...
LREC
2010
15 years 1 months ago
2010
Grammars play an important role in many Natural Language Processing (NLP) applications. The traditional approach to creating grammars manually, besides being labor-intensive, has ...
LATIN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
138
click to vote
KBSE
2003
IEEE
15 years 4 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...