11
TITLE: Approved models for normal logic programs
AUTHORS: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2007, SOURCE: 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, VOLUME: 4790
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
12
TITLE: Revised Stable Models - A semantics for logic programs
AUTHORS: Pereira, LM ; Pinto, AM ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 2 of 2. Total results: 12.