External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Variable Elimination for DLP-Functions

Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran. Variable Elimination for DLP-Functions. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 643-644, AAAI Press, 2018. [doi]

Authors

Ricardo Gonçalves 0001

This author has not been identified. Look up 'Ricardo Gonçalves 0001' in Google

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google

Matthias Knorr

This author has not been identified. Look up 'Matthias Knorr' in Google

João Leite

This author has not been identified. It may be one of the following persons: Look up 'João Leite' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google
runs on