( en | de | ru )

 

Disambiguation of "Herzig, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
MOLOG: a Modal PROLOG.

, , and . CADE, volume 310 of Lecture Notes in Computer Science, page 762-763. Springer, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Herzig

Thomas Herzig

Arthur Herzig

Siegfried Herzig

Anneliese Herzig

 

Other publications of authors with the same name

Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach., and . ICLP Technical Communications, volume 325 of EPTCS, page 52-58. (2020)Interference logic = conditional logic + frame axiom., and . Int. J. Intell. Syst., 9 (1): 119-130 (1994)A short biography of Luis Fariñas del Cerro., , , and . J. Appl. Non Class. Logics, 27 (3-4): 153-160 (2017)Capturing equilibrium models in modal logic., , and . J. Appl. Log., 12 (2): 192-207 (2014)'Knowable' as 'known after an announcement'., , , , , and . Rev. Symb. Log., 1 (3): 305-334 (2008)Epistemic Equilibrium Logic., , and . IJCAI, page 2964-2970. AAAI Press, (2015)Cohesion, coupling and the meta-theory of actions., and . IJCAI, page 442-447. Professional Book Center, (2005)Hierarchical Task Network Planning with Task Insertion and State Constraints., , , , and . IJCAI, page 4463-4469. ijcai.org, (2017)Translation-Based Deduction Methods for Modal Logics., and . IPMU, volume 945 of Lecture Notes in Computer Science, page 399-408. Springer, (1994)Contingency-Based Equilibrium Logic., and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 223-228. Springer, (2011)