HORN CLAUSE LOGIC
Experts
- Mario Rodríguez-Artalejo
- Ekaterina Komendantskaya
- Luís Monteiro
- Alberto Martelli
- Nathaniel Wesley Filardo
- Lori S. Levin
- Jason Hemann
- Catuscia Palamidessi
- António Porto
- Paul Tarau
- Miguel Filgueiras
- Daniel P. Friedman
- Verónica Dahl
- Reinhold Letz
- Michael Bloodgood
- Stefania Costantini
- Christine D. Piatko
- Matthew Might
- Peter Baumgartner
- Bonnie J. Dorr
- Chris Callison-Burch
- Mehmet A. Orgun
- Laura Giordano
- Harold Boley
- Peng Fu
- Joost N. Kok
- Scott Miller
- William E. Byrd
- Anette Frank
- Aldo Gangemi
- Christoph Helma
- Heiner Stuckenschmidt
- S. Bertarello
- Danielle Berry
- Richard W. Counts
- Pascal Hitzler
- Marcos Vescovi
- Linh Anh Nguyen
- Gopal Gupta
Venues
- ICLP
- CoRR
- J. Log. Program.
- Forschungsberichte, TU Munich
- Theor. Comput. Sci.
- ILPS
- J. Log. Comput.
- ELP
- Appl. Artif. Intell.
- AIMSA
- New Gener. Comput.
- SLP
- Math. Struct. Comput. Sci.
- JICSLP
- JELIA
- ServiceWave Workshops
- RTA
- CISIS/ICEUTE/SOCO Special Sessions
- FGCS
- Comput. J.
- REX Workshop
- ICLP Workshop: Legal Application of Logic Programming
- AlgoSyn
- DLS
- Formal Aspects Comput.
- Softw. Pract. Exp.
- Theory Pract. Log. Program.
- NACLP
- STAF Doctoral Symposium
- TAPSOFT
- Answer Set Programming
- M-CAIT
- CTRS
- ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
- Electron. Notes Theor. Comput. Sci.
- TABLEAUX
- WOP@ISWC
- IBM J. Res. Dev.
- Notre Dame J. Formal Log.
Related Topics
Related Keywords
Popularity