{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T18:55:45Z","timestamp":1782327345096,"version":"3.54.5"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/aiccsa.2018.8612857","type":"proceedings-article","created":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T20:26:29Z","timestamp":1547756789000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Modeling Personal Identifiable Information using First-Order Logic"],"prefix":"10.1109","author":[{"given":"Amani","family":"Shatnawi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Clyde","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","author":"pratt-hartmann","year":"0","journal-title":"Logics with Counting"},{"key":"ref11","article-title":"Aggregate Predicate Support in DBMS","author":"natsev","year":"2002","journal-title":"Thirteenth Australasian Database Conference (ADC2002)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-8265-9_402"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28279-9_12"},{"key":"ref14","first-page":"3220","article-title":"Two-Sorted First-Order Logic","author":"liu","year":"2009","journal-title":"Encyclopedia of Database Systems"},{"key":"ref15","author":"ferraris","year":"0","journal-title":"On the Stable Model Semantics of First-Order Formulas with Aggregates"},{"key":"ref16","year":"2017","journal-title":"Wikipedia"},{"key":"ref17","author":"davis","year":"2015","journal-title":"Guide to Expressing Facts in a First-Order Language"},{"key":"ref18","year":"2013","journal-title":"Whatis com"},{"key":"ref19","article-title":"Temporal Versus First-Order Logic to Query Temporal Databases","author":"abitebou","year":"1996","journal-title":"ACM Symposium on Principles of Database Systems"},{"key":"ref4","author":"andrews","year":"2001","journal-title":"An Introduction to Mathematical Logic and Type Theory To Truth Through Proof (Applied Logic Series)"},{"key":"ref3","article-title":"SLDS Technical Brief","author":"seastrom","year":"2010","journal-title":"National Center ducation Statistics"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-015-0126-8"},{"key":"ref5","author":"mendelson","year":"2009","journal-title":"Introduction to Mathematical Logic"},{"key":"ref8","article-title":"WolframMathWorld","author":"team","year":"2017","journal-title":"Mathmatica Technology"},{"key":"ref7","year":"2016","journal-title":"Wikipedia the Free Encyclopedia"},{"key":"ref2","article-title":"Data Protection","year":"2045","journal-title":"Gideon Roberton"},{"key":"ref1","year":"2007","journal-title":"Data Protection Commissioner"},{"key":"ref9","article-title":"wikipedia","year":"2016","journal-title":"Wikipedia"}],"event":{"name":"2018 IEEE\/ACS 15th International Conference on Computer Systems and Applications (AICCSA)","location":"Aqaba","start":{"date-parts":[[2018,10,28]]},"end":{"date-parts":[[2018,11,1]]}},"container-title":["2018 IEEE\/ACS 15th International Conference on Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8612460\/8612765\/08612857.pdf?arnumber=8612857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T17:23:28Z","timestamp":1643217808000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8612857\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2018.8612857","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}