Federated logic conference (FLoC) at Oxford.
Daniele AhmedKatherine FletcherJulian GutierrezPublished in: ACM SIGLOG News (2018)
Keyphrases
- selected papers
- modal logic
- logic programming
- databases
- asia pacific
- international conference
- digital libraries
- knowledge discovery and data mining
- program committee
- graphics and image processing
- distributed systems
- data sources
- data mining
- classical logic
- set theory
- truth values
- invited paper
- asynchronous circuits
- data sets
- workshop proceedings
- sound and complete axiomatization