×

Found 113 Documents (Results 1–100)

The implication problem for functional dependencies and variants of marginal distribution equivalences. (English) Zbl 07630643

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 130-146 (2022).
PDF BibTeX XML Cite
Full Text: DOI

A port graph rewriting approach to relational database modelling. (English) Zbl 07576129

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 211-227 (2020).
MSC:  68P15 68Q42
PDF BibTeX XML Cite
Full Text: DOI HAL

Inference of mixed information in formal concept analysis. (English) Zbl 1430.68329

Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 81-87 (2019).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI Link

Grelling on dependence. (English) Zbl 1429.03122

Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 33-52 (2016).
MSC:  03B60 03-03 01A60
PDF BibTeX XML Cite
Full Text: DOI

Negation and partial axiomatizations of dependence and independence logic revisited. (English) Zbl 1478.03057

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 410-431 (2016).
MSC:  03B60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Breaking the atom with Samson. (English) Zbl 1264.03081

Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 327-335 (2013).
MSC:  03B60
PDF BibTeX XML Cite
Full Text: DOI

Constraints in RDF. (English) Zbl 1347.68108

Schewe, Klaus-Dieter (ed.) et al., Semantics in data and knowledge bases. 4th international workshops, SDKB 2010, Bordeaux, France, July 5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-23440-8/pbk). Lecture Notes in Computer Science 6834, 23-39 (2011).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI

The functional dependence relation on hypergraphs of secrets. (English) Zbl 1348.68265

Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 29-40 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Surmise relations between tests – preliminary results of the mathematical modeling. (English) Zbl 0971.68153

Janowitz, Melvin F. (ed.), OSDA98. Ordinal and symbolic data analysis. Univ. of Massachusetts, Amherst, MA, USA, September 28-30, 1998. Amsterdam: Elsevier, Electron. Notes Discrete Math. 2, no pag., electronic only (1999).
MSC:  68T30 68U20
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software