{"id":"https://openalex.org/W2810803621","doi":"https://doi.org/10.23919/mipro.2018.8400171","title":"Some logic and related formalisms, programming paradigms, and development environments for the (new) AI","display_name":"Some logic and related formalisms, programming paradigms, and development environments for the (new) AI","publication_year":2018,"publication_date":"2018-05-01","ids":{"openalex":"https://openalex.org/W2810803621","doi":"https://doi.org/10.23919/mipro.2018.8400171","mag":"2810803621"},"language":"en","primary_location":{"id":"doi:10.23919/mipro.2018.8400171","is_oa":false,"landing_page_url":"https://doi.org/10.23919/mipro.2018.8400171","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014148285","display_name":"Mirko \u010cubrilo","orcid":null},"institutions":[{"id":"https://openalex.org/I4210112966","display_name":"Instituto de F\u00edsica Te\u00f3rica","ror":"https://ror.org/022r8mj40","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210112966","https://openalex.org/I63634437"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M. \u010cubrilo","raw_affiliation_strings":["Faculty of Organization and Informatics/Department for theoretical and applied foundations of information science, Vara&#x017E;din, Croatia","Faculty of Organization and Informatics, Department for theoretical and applied foundations of information science, Vara\u017edin, Croatia"],"affiliations":[{"raw_affiliation_string":"Faculty of Organization and Informatics/Department for theoretical and applied foundations of information science, Vara&#x017E;din, Croatia","institution_ids":["https://openalex.org/I4210112966"]},{"raw_affiliation_string":"Faculty of Organization and Informatics, Department for theoretical and applied foundations of information science, Vara\u017edin, Croatia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5014148285"],"corresponding_institution_ids":["https://openalex.org/I4210112966"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06764647,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"0926","last_page":"0937"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6128279566764832},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.562243640422821},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.5467679500579834},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.5399747490882874},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.5388391613960266},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5286298990249634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5198893547058105},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.4617467224597931},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.46049100160598755},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4376925230026245},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.4302647113800049},{"id":"https://openalex.org/keywords/non-classical-logic","display_name":"Non-classical logic","score":0.4127398133277893},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40674716234207153},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3460357189178467},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.2673635482788086},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.22759437561035156},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.10261315107345581},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.09812968969345093}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6128279566764832},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.562243640422821},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5467679500579834},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.5399747490882874},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5388391613960266},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5286298990249634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5198893547058105},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4617467224597931},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.46049100160598755},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4376925230026245},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4302647113800049},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.4127398133277893},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40674716234207153},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3460357189178467},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.2673635482788086},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.22759437561035156},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.10261315107345581},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.09812968969345093},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/mipro.2018.8400171","is_oa":false,"landing_page_url":"https://doi.org/10.23919/mipro.2018.8400171","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":83,"referenced_works":["https://openalex.org/W3296631","https://openalex.org/W50835235","https://openalex.org/W79760435","https://openalex.org/W83385239","https://openalex.org/W132530506","https://openalex.org/W173686510","https://openalex.org/W180578187","https://openalex.org/W238001728","https://openalex.org/W565587792","https://openalex.org/W567272019","https://openalex.org/W602267562","https://openalex.org/W649821374","https://openalex.org/W656328175","https://openalex.org/W906447078","https://openalex.org/W1459875537","https://openalex.org/W1488945699","https://openalex.org/W1498682591","https://openalex.org/W1511573467","https://openalex.org/W1523712082","https://openalex.org/W1530765221","https://openalex.org/W1541147090","https://openalex.org/W1553511155","https://openalex.org/W1560890255","https://openalex.org/W1571393741","https://openalex.org/W1578523569","https://openalex.org/W1589232796","https://openalex.org/W1600919542","https://openalex.org/W1601754364","https://openalex.org/W1752750514","https://openalex.org/W1810972023","https://openalex.org/W1966497978","https://openalex.org/W1979966822","https://openalex.org/W1982644528","https://openalex.org/W2010939995","https://openalex.org/W2017754974","https://openalex.org/W2030181898","https://openalex.org/W2037783738","https://openalex.org/W2058436375","https://openalex.org/W2084130127","https://openalex.org/W2100738443","https://openalex.org/W2109440622","https://openalex.org/W2143549867","https://openalex.org/W2156265441","https://openalex.org/W2202111557","https://openalex.org/W2228842200","https://openalex.org/W2291662397","https://openalex.org/W2327484997","https://openalex.org/W2401248940","https://openalex.org/W2428112462","https://openalex.org/W2478443203","https://openalex.org/W2483102027","https://openalex.org/W2484202314","https://openalex.org/W2494756799","https://openalex.org/W2503383364","https://openalex.org/W2595312935","https://openalex.org/W2604671975","https://openalex.org/W2613530297","https://openalex.org/W2791931128","https://openalex.org/W2898353952","https://openalex.org/W2979801952","https://openalex.org/W2989336274","https://openalex.org/W3102754027","https://openalex.org/W3216272643","https://openalex.org/W4237581755","https://openalex.org/W4239257451","https://openalex.org/W4240968325","https://openalex.org/W4245546974","https://openalex.org/W4248445139","https://openalex.org/W4252547602","https://openalex.org/W4253131970","https://openalex.org/W4254366819","https://openalex.org/W4254819021","https://openalex.org/W4298236051","https://openalex.org/W4298998189","https://openalex.org/W4388218653","https://openalex.org/W6605391475","https://openalex.org/W6629503479","https://openalex.org/W6634283679","https://openalex.org/W6635738176","https://openalex.org/W6689367479","https://openalex.org/W6755739808","https://openalex.org/W6834483288","https://openalex.org/W6987206028"],"related_works":["https://openalex.org/W16267316","https://openalex.org/W2388232299","https://openalex.org/W4387318785","https://openalex.org/W4388397425","https://openalex.org/W117698297","https://openalex.org/W1607887046","https://openalex.org/W4255026600","https://openalex.org/W1537215936","https://openalex.org/W2228374173","https://openalex.org/W1599421765"],"abstract_inverted_index":{"Since":[0],"its":[1,145,173,220],"very":[2],"beginnings,":[3],"AI":[4,94,114,324],"has":[5,39,279],"more":[6],"or":[7,259],"less":[8],"developed":[9,281],"in":[10,34,64,72,106,291,320],"parallel":[11],"with":[12,57],"two":[13],"lines":[14],"of":[15,45,67,87,113,127,163,192,201,270,296,317],"research":[16],"method":[17],"paradigms.":[18],"The":[19,47],"first":[20,167],"paradigm":[21,49,79],"could":[22],"be":[23,51,139],"called":[24,52],"statistical":[25],"(pattern":[26],"recognition,":[27],"machine":[28],"learning,":[29,32],"also":[30,242],"deep":[31],"which":[33,71,133],"the":[35,65,85,93,134,202,229,275,284,309,314],"last":[36,276],"few":[37],"years":[38,278],"entered":[40],"quite":[41],"a":[42,110,189,268],"vibrant":[43],"phase":[44],"development).":[46],"second":[48,175],"can":[50],"logical.":[53],"It":[54],"(mostly)":[55],"deals":[56],"automatic":[58],"deduction":[59],"systems":[60,83,162],"and":[61,89,108,129,144,148,172,225,241,305,322],"tool":[62],"development":[63,303],"environment":[66],"corresponding":[68],"formal":[69,75],"methods,":[70],"particular":[73],"encompass":[74,233],"logic":[76,99,143,203,213,230,238,257,298],"calculi.":[77],"This":[78],"partially":[80],"uses":[81],"these":[82],"for":[84,211,274],"requirements":[86],"modelling":[88,107,321],"solving":[90,109,323],"problems":[91],"from":[92,118],"domain.":[95],"There":[96],"are":[97],"many":[98,146],"calculi":[100,126,204],"that":[101,249,273],"have":[102,207],"found":[103],"their":[104,122,318],"application":[105,319],"wide":[111],"range":[112,117],"problems.":[115,325],"These":[116],"classical":[119,234],"propositional":[120,142,165],"calculi,":[121],"fragments":[123,147],"(such":[124],"as":[125,158,160,197,217,246,262],"functional":[128],"multivalued":[130],"dependencies,":[131],"without":[132],"relational":[135],"data":[136],"model":[137],"wouldn't":[138],"possible),":[140],"intuitionistic":[141],"variants,":[149,174],"superintuitionistic":[150],"logics,":[151,166],"multiple":[152],"valued":[153],"logics":[154,195],"(Lukasiewicz":[155],"logics),":[156],"discrete":[157],"well":[159],"continuous,":[161],"modal":[164],"order":[168,176,255],"predicate":[169,177,256],"calculus":[170,272],"(logic)":[171],"Logic,":[178],"F-Logic":[179],"etc.":[180],"In":[181],"addition":[182],"to":[183,228,312],"these,":[184],"we":[185],"cannot":[186],"avoid":[187],"mentioning":[188],"whole":[190],"spectrum":[191],"contextual":[193],"domain":[194],"such":[196,216,245,261],"fuzzy":[198],"logics.":[199],"Many":[200],"mentioned":[205],"above":[206],"themselves":[208],"become":[209],"foundations":[210],"building":[212],"programming":[214,223,236,239,301],"languages":[215,224,248],"Prolog":[218],"(and":[219],"relatives),":[221],"hybrid":[222],"tools.":[226],"Next":[227],"component,":[231],"they":[232],"linear":[235],"(constraint":[237],"languages)":[240],"specialized":[243],"tools":[244,260],"SAT-solvers,":[247],"implement":[250],"2":[251],"<sup":[252],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[253],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">nd</sup>":[254],"(HiLog)":[258],"Coq.":[263],"Coq":[264],"is":[265],"based":[266,290],"on":[267],"fragment":[269],"lambda":[271],"thirty":[277],"been":[280],"by":[282],"INRIA,":[283],"world":[285],"renowned":[286],"computer":[287],"science":[288],"institute":[289],"France.":[292],"Through":[293],"this":[294],"presentation":[295],"selected":[297],"systems,":[299],"related":[300],"languages,":[302],"environments":[304],"specific":[306],"purpose":[307],"tools,":[308],"author":[310],"wants":[311],"highlight":[313],"enormous":[315],"potential":[316]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}