4978 search results - page 248 / 996 » Logical models of argument |
155
click to vote
LPNMR
2007
Springer
15 years 12 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
185
click to vote
ICMLA
2009
15 years 3 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
139
click to vote
VLDB
1987
ACM
15 years 9 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
145
Voted
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
187
click to vote
PAMI
2007
15 years 5 months ago
2007
—A probabilistic formulation for semantic image annotation and retrieval is proposed. Annotation and retrieval are posed as classification problems where each class is defined as...