|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Isambo Karali |
Modular Logic Programming for Web Data, Inheritance and Agents.  |
KSEM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
Modular Nonmonotonic Logic Programming Revisited. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Modular Logic Programming, Knowledge Representation, Answer Set Programming |
| 1 | Isambo Karali |
Logic Programming to Address Issues of the Semantic Web. |
Web Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Helmut Veith |
Modular Logic Programming and Generalized Quantifiers. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Helmut Veith |
Generalized Quantifiers in Logic Programs. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Isambo Karali, Constantin Halatsis |
A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Modular Logic Programming. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations |
| 1 | Melvin Fitting |
Enumeration Operators and Modular Logic Programming. |
J. Log. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Ganzinger, Michael Hanus |
Modular Logic Programming of Compilers. |
SLP |
1985 |
DBLP BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")