Вы здесь
Pearce D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report | 2002 | Pearce D., Sarsakov V., Schaub T., Tompits H., Woltran S. | Lecture Notes in Computer Science | 27.08.2002 | |||
СТ | Answer Sets and Nonmonotonic S4 | 1994 | Pearce D. | Lecture Notes in Artificial Intelligence | 01.07.1994 | |||
СТ | Logic Programming with Strong Negation | 1990 | Pearce D., Wagner G. | Lecture Notes in Artificial Intelligence | 14.03.1991 | |||
СТ | Nonmonotonicity and Answer Set Inference | 1995 | Pearce D. | Lecture Notes in Artificial Intelligence | 07.07.1995 | |||
СТ | Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs | 1992 | Pearce D. | Lecture Notes in Artificial Intelligence | 18.08.1992 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz | 2012 | Lecture Notes in Computer Science |
|
13.08.2012 | |||
СБ | Logics in Artificial Intelligence: Proc./European Workshop, JELIA 94. York, UK, September 1994 | 1994 | Lecture Notes in Artificial Intelligence |
|
27.10.1994 | |||
СБ | Nonclassical Logics and Information Processing: Proc./Intern. Workshop. Berlin, Germany, November 1990 | 1992 | Lecture Notes in Artificial Intelligence |
|
17.08.1992 |