Metric Logic Program Explanations for Complex Separator Functions

Srijan Kumar; Edoardo Serra; Francesca Spezzano; V. S. Subrahmanian

doi:10.1007/978-3-319-45856-4_14

Metric Logic Program Explanations for Complex Separator Functions

Srijan Kumar, Edoardo Serra, Francesca Spezzano, V. S. Subrahmanian

Computer Science Department

University of Maryland, College Park

Research output: Chapter in Book/Report/Conference proceeding › Chapter

2 Scopus citations

Original language	American English
Title of host publication	Scalable Uncertainty Management: 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
DOIs	https://doi.org/10.1007/978-3-319-45856-4_14
State	Published - 1 Jan 2016

Keywords

artificial intelligence
database management
information systems
information storage and retrieval
mathematical logic and formal languages
algorithm analysis and problem complexity

EGS Disciplines

Computer Sciences

Access to Document

10.1007/978-3-319-45856-4_14License: Unspecified

https://doi.org/10.1007/978-3-319-45856-4_14

Cite this

@inbook{a953d5adfc7d45cbafd938e7f7b2ef64,

title = "Metric Logic Program Explanations for Complex Separator Functions",

keywords = "artificial intelligence, database management, information systems, information storage and retrieval, mathematical logic and formal languages, algorithm analysis and problem complexity",

author = "Srijan Kumar and Edoardo Serra and Francesca Spezzano and Subrahmanian, {V. S.}",

year = "2016",

month = jan,

day = "1",

doi = "10.1007/978-3-319-45856-4_14",

language = "American English",

booktitle = "Scalable Uncertainty Management: 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings",

}

TY - CHAP

T1 - Metric Logic Program Explanations for Complex Separator Functions

AU - Kumar, Srijan

AU - Serra, Edoardo

AU - Spezzano, Francesca

AU - Subrahmanian, V. S.

PY - 2016/1/1

Y1 - 2016/1/1

KW - artificial intelligence

KW - database management

KW - information systems

KW - information storage and retrieval

KW - mathematical logic and formal languages

KW - algorithm analysis and problem complexity

UR - https://scholarworks.boisestate.edu/cs_facpubs/70

UR - https://doi.org/10.1007/978-3-319-45856-4_14

U2 - 10.1007/978-3-319-45856-4_14

DO - 10.1007/978-3-319-45856-4_14

M3 - Chapter

BT - Scalable Uncertainty Management: 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings

ER -

Metric Logic Program Explanations for Complex Separator Functions

Keywords

EGS Disciplines

Access to Document

Other files and links

Fingerprint

Cite this